Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings (Lecture Notes in Computer Science, 1730)

ISBN 10: 3540667490 / ISBN 13: 9783540667490

Published by Springer, 1999

SUPER FAST SHIPPING. Seller Inventory # 9783540667490

Synopsis:

ThisvolumeconsistsoftherefereedpaperspresentedattheFifthInternational ConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR'99) heldatElPaso,Texas,inDecember1999. LPNMR'99isthe fthinaseriesofinternationalmeetingsonlogicprogramming andnonmonotonicreasoning. FourpreviousmeetingswereheldinWashington, U. S. A. ,in1991,inLisbon,Portugal,in1993,inLexington,U. S. A. ,in1995,and inDagstuhl,Germany,in1997. TheaimoftheLPNMRconferencesisto- cilitateinteractionsbetweenresearchersinterestedinlogicbasedprogramming languagesanddatabasesystemsandresearcherswhoworkintheareasofk- wledgerepresentationandnonmonotonicreasoning. Inadditiontopresentationsofacceptedpaperstheconferencewillfeaturetalks byfourinvitedspeakers|MarcoCadoli,VladimirLifschitz,DavidMcAllester, andLeoraMorgenstern. ManypeoplecontributedtothesuccessoftheLPNMR'99conference. Special thanksareduetotheprogramcommitteeandtheadditionalreviewersforcareful evaluationofthesubmittedpapers. WewouldalsoliketothankGopalGuptaand DannyDeSchreyefortheire ortsincoordinatingtheschedulesofICLP99and LPNMR99,andGeorgGottlob,chairoftheLPNMRsteeringcommittee,who providedcontinuousadviseandsupporttotheprogramchairs. Theconference was nanciallysupportedbytheUniversityofTexasatElPasoandCompulog NetprovidedsupportforaEuropeaninvitedspeaker. December1999 MichaelGelfond NicolaLeone GeraldPfeifer ConferenceOrganization ProgramCo-Chairs MichaelGelfond(UniversityofTexasatElPaso,USA) NicolaLeone(ViennaUniversityofTechnology,Austria) ProgramCommittee JoseJulioAlferes(UniversidadedeEvora,Portugal) ChittaBaral(UniversityofTexasatElPaso,USA) NicoleBidoit(Universit edeBordeaux1,France) J..urgenDix(UniversityofKoblenz,Germany) ThomasEiter(ViennaUniversityofTechnology,Austria) FangzhenLin(TheHongKongUniversityofScienceandTechnology,China) JackMinker(UniversityofMaryland,USA) AnilNerode(CornellUniversity,USA) IlkkaNiemela(HelsinkiUniversityofTechnology,Finland) DinoPedreschi(UniversityofPisa,Italy) PasqualeRullo(UniversityofCalabria,Rende,Italy) ChiakiSakama(WakayamaUniversity,Japan) V. S. Subrahmanian(UniversityofMaryland,USA) FrancescaToni(ImperialCollege,London,U. K. ) MiroslawTruszczynski(UniversityofKentuckyatLexington,USA) HudsonTurner(UniversityofMinnesotaatDuluth,USA) MosheY. Vardi(RiceUniversity,USA) Jia-HuaiYou(UniversityofAlberta,Canada) PublicityChair GeraldPfeifer(ViennaUniversityofTechnology,Austria) AdditionalReviewers RobertoBarbuti StefanBrass KrysiaBroda FrancescoBuccafurri CarlosDamasio AlexanderDekhtyar PhanMinhDung UweEgly WolfgangFaber SergioGreco Je Horty KatsumiInoue ConferenceOrganization VII TomiJanhunen ChrisJohnson AntonisKakas HirofumiKatsuno VladimirLifschitz JorgeLobo ThomasLukasiewicz So anMaabout GiuseppeManco VictorMarek CristinelMateis YujiMatsumoto IaraMora MircoNanni LuigiPalopoli LuisMonizPereira GeraldPfeifer InnaPivkina SalvatoreRuggieri FaribaSadri FrancescoScarcello DietmarSeipel HirohisaSeki PatrikSimons TerrySwift HansTompits UlrichZukowski KewenWang TableofContents ContributedPapers FixedParameterComplexityinAIandNonmonotonicReasoning...1 G. Gottlob,F. Scarcello,M. Sideri ClassifyingSemi-NormalDefaultLogicontheBasisofitsExpressivePower 19 T. Janhunen LocallyDeterminedLogicPrograms ...34 D. Cenzer,J. B. Remmel,A. Vanderbilt AnnotatedRevisionPrograms ...49 V. Marek,I. Pivkina,M. Truszczynski Belief,Knowledge,Revisions,andaSemanticsofNon-MonotonicReasoning63 J. Sefranek AnArgumentationFrameworkforReasoningaboutActionsandChanges . . 78 A. Kakas,R. Miller,F. Toni RepresentingTransitionSystemsbyLogicPrograms ...92 V. Lifschitz,H. Turner TransformationsofLogicProgramsRelatedtoCausalityandPlanning...107 E. Erdem,V. Lifschitz FromCausalTheoriestoLogicPrograms(Sometimes)...117 F. Lin,K. Wang MonotoneExpansionofUpdatesinLogicalDatabases ...132 M. Dekhtyar,A. Dikovsky,S. Dudakov,N. Spyratos UpdatingExtendedLogicProgramsthroughAbduction ...147 C. Sakama,K. Inoue LUPS{ALanguageforUpdatingLogicPrograms...162 J. J. Alferes,L. M. Pereira,H. Przymusinska,T. Przymusinski X TableofContents PushingGoalDerivationinDLPComputations...177 W. Faber,N. Leone,G. Pfeifer LinearTabulatedResolutionforWellFoundedSemantics...192 Y. Shen,L. Yuan,J. You,N. Zhou ACaseStudyinUsingPreferenceLogicGrammarsforKnowledge Representation ...206 B. Cui,T. Swift,D. S. Warren MinimalFoundedSemanticsforDisjunctiveLogicProgramming ...221 S. Greco OntheRoleofNegationinChoiceLogicPrograms ...236 M. DeVos,D. Vermeir ApproximatingReiter'sDefaultLogic...247 T. Linke,T. Schaub CoherentWell-foundedAnnotatedLogicPrograms...262 C. V. Dam asio,L. M. Pereira,T. Swift Many-ValuedDisjunctiveLogicProgramswithProbabilisticSemantics...277 T. Lukasiewicz ExtendingDisjunctiveLogicProgrammingbyT-norms ...290 C. Mateis ExtendingtheStableModelSemanticswithMoreExpressiveRules...305 P. Simons StableModelSemanticsforWeightConstraintRules...317 I. Niemel..a,P. Simons,T.

Product Description: This book constitutes the refereed proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '99, held in El Paso, Texas, USA, in December 1999.The volume presents 26 contributed papers and four invited talks, three appearing as extended abstracts and one as a full paper. Topics covered include logic programming, non-monotonic reasoning, knowledge representation, semantics, complexity, expressive power, and implementation and applicatons.

Bibliographic Details

Title: Logic Programming and Nonmonotonic Reasoning...
Publisher: Springer
Publication Date: 1999
Binding: Soft cover
Condition: New