LEADER 05404nam 22007575 450 001 9910484324003321 005 20251226203251.0 024 7 $a10.1007/11546207 035 $a(CKB)1000000000213201 035 $a(SSID)ssj0000318705 035 $a(PQKBManifestationID)11265691 035 $a(PQKBTitleCode)TC0000318705 035 $a(PQKBWorkID)10335933 035 $a(PQKB)11304139 035 $a(DE-He213)978-3-540-31827-9 035 $a(MiAaPQ)EBC3067541 035 $a(PPN)123096995 035 $a(EXLCZ)991000000000213201 100 $a20100315d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Nonmonotonic Reasoning $e8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /$fedited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XIV, 462 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3662 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9783540318279 311 08$a3540318275 311 08$a9783540285380 311 08$a3540285385 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming -- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development -- ASP Foundations -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant? -- Approximating Answer Sets of Unitary Lifschitz-Woo Programs -- On Modular Translations and Strong Equivalence -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer Set Solvers -- Answer Sets for Propositional Theories -- Applications -- An ID-Logic Formalization of the Composition of Autonomous Databases -- On the Local Closed-World Assumption of Data-Sources -- Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming -- Actions and Causations -- An Approximation of Action Theories of and Its Application to Conformant Planning -- Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories -- Some Logical Properties of Nonmonotonic Causal Theories -- odular-?: An Elaboration Tolerant Approach to the Ramification and Qualification Problems -- Algorithms and Computation -- Platypus: A Platform for Distributed Answer Set Solving -- Solving Hard ASP Programs Efficiently -- Mode-Directed Fixed Point Computation -- Lookahead in Smodels Compared to Local Consistencies in CSP -- Foundations -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID-Logic -- Default Reasoning with Preference Within Only Knowing Logic -- Semantics -- A Social Semantics for Multi-agent Systems -- Revisiting the Semantics of Interval Probabilistic Logic Programs -- Routley Semantics for Answer Sets -- The Well Supported Semantics for Multidimensional Dynamic Logic Programs -- Application Track -- Application ofSmodels in Quartet Based Phylogeny Construction -- Using Answer Set Programming for a Decision Support System -- Data Integration: a Challenging ASP Application -- Abduction and Preferences in Linguistics -- Inference of Gene Relations from Microarray Data by Abduction -- System Track -- nomore: A System for Computing Preferred Answer Sets -- Integrating an Answer Set Solver into Prolog: - -- circ2dlp ? Translating Circumscription into Disjunctive Logic Programming -- Pbmodels ? Software to Compute Stable Models by Pseudoboolean Solvers -- KMonitor? A Tool for Monitoring Plan Execution in Action Theories -- The nomore++ System -- Smodels A ? A System for Computing Answer Sets of Logic Programs with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs ? Implementation and Examples -- SELP ? A System for Studying Strong Equivalence Between Logic Programs -- cmodels ? SAT-Based Disjunctive Answer Set Solver. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3662 606 $aArtificial intelligence 606 $aComputer science 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer programming 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 676 $a005.1/5 701 $aBaral$b Chitta$0315148 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484324003321 996 $aLogic programming and nonmonotonic reasoning$94188464 997 $aUNINA