LEADER 05641nam 22008175 450 001 9910483572003321 005 20251226203440.0 010 $a1-280-94072-7 010 $a1-280-30797-8 010 $a9786610940721 010 $a3-540-72200-9 024 7 $a10.1007/978-3-540-72200-7 035 $a(CKB)1000000000478490 035 $a(EBL)3037349 035 $a(SSID)ssj0000193884 035 $a(PQKBManifestationID)11184413 035 $a(PQKBTitleCode)TC0000193884 035 $a(PQKBWorkID)10226458 035 $a(PQKB)11447968 035 $a(DE-He213)978-3-540-72200-7 035 $a(MiAaPQ)EBC3037349 035 $a(MiAaPQ)EBC6705507 035 $a(Au-PeEL)EBL6705507 035 $a(PPN)123161967 035 $a(BIP)46091997 035 $a(BIP)14226039 035 $a(EXLCZ)991000000000478490 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Nonmonotonic Reasoning $e9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /$fedited by Chitta Baral, Gerhard Brewka, John Schlipf 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (335 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4483 300 $aInternational conference proceedings. 311 08$a3-540-72199-1 320 $aIncludes bibliographical references and author index. 327 $aInvited Talks/Competition -- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications -- Policy-Based Computing: From Systems and Applications to Theory -- The First Answer Set Programming System Competition -- Technical Papers -- cr-models: An Inference Engine for CR-Prolog -- Debugging ASP Programs by Means of ASP -- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation -- Complexity of Default Logic on Generalized Conjunctive Queries -- A Preference-Based Framework for Updating Logic Programs -- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions -- On the Complexity of Answer Set Programming with Aggregates -- Experimenting with Look-Back Heuristics for Hard ASP Programs -- Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A Deductive System for PC(ID) -- Modularity Aspects of Disjunctive Stable Models -- A Characterization of Strong Equivalence for Logic Programs with Variables -- A Unified Semantics for Constraint Handling Rules in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities -- General Default Logic -- System Descriptions -- The System: Logic Programming Meets Outlier Detection -- clasp: A Conflict-Driven Answer Set Solver -- GrinGo: A New Grounder for Answer Set Programming -- Using Answer Sets to Solve Belief Change Problems -- An Smodels System with Limited Lookahead Computation -- Programming Applications in CIFF -- CPP: A Constraint Logic Programming Based Planner with Preferences -- Posters -- An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment -- On the Effectiveness of Looking Ahead in Search for Answer Sets -- Enhancing ASP Systems for Planning with Temporal Constraints -- Semantics for Possibilistic Disjunctive Programs -- Modularity in smodels Programs. 330 $aThis book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante, Italy in September 2005. The 25 revised full papers, 16 revised for the system and application tracks presented together with 3 invited papers were carefully reviewed and selected for presentation. Among the topics addressed are semantics of new and existing languages; relationships between formalisms; complexity and expressive power; LPNMR systems: development of inference algorithms and search heuristics, updates and other operations, uncertainty, and applications in planning, diagnosis, system descriptions, comparisons and evaluations; software engineering, decision making, and other domains; LPNMR languages: extensions by new logical connectives and new inference capabilities, applications in data integration and exchange systems, and methodology of representing knowledge. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4483 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer programming. 615 14$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 676 $a005.115 702 $aBaral$b Chitta 702 $aBrewka$b Gerhard 702 $aSchlipf$b John 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483572003321 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNINA