LEADER 04110nam 2200649 450 001 9910483572003321 005 20240108180404.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(EXLCZ)991000000000478490 100 $a20220504d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aLogic programming and nonmonotonic reasoning $e9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, proceedings /$fChitta Baral, Gerhard Brewka, John Schlipf, editors 205 $a1st ed. 2007. 210 1$aBerlin ;$aHeidelberg :$cSpringer-Verlag,$d[2007] 210 4$dİ2007 215 $a1 online resource (335 p.) 225 1 $aLecture Notes in Computer Science ;$v4483 300 $aInternational conference proceedings. 311 $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: Representation, 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. 410 0$aLecture notes in computer science ;$v4483. 606 $aLogic programming$vCongresses 606 $aNonmonotonic reasoning$vCongresses 615 0$aLogic programming 615 0$aNonmonotonic reasoning 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