LEADER 03638oam  2200577   450 
001 996465624403316
005 20210716142359.0
010   $a3-540-46767-X
024 7 $a10.1007/3-540-46767-X
035   $a(CKB)1000000000211107
035   $a(SSID)ssj0000324523
035   $a(PQKBManifestationID)11240640
035   $a(PQKBTitleCode)TC0000324523
035   $a(PQKBWorkID)10312937
035   $a(PQKB)10787344
035   $a(DE-He213)978-3-540-46767-0
035   $a(MiAaPQ)EBC3072669
035   $a(MiAaPQ)EBC6486286
035   $a(PPN)15519416X
035   $a(EXLCZ)991000000000211107
100   $a20210716d1999      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aLogic programming and nonmonotonic reasoning $e5th International Conference, LPNMR '99, el Paso, Texas, USA, December 2-4, 1999, proceedings /$fMichael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
205   $a1st ed. 1999.
210  1$aBerlin ;$aHeidelberg :$cSpringer,$d[1999]
210  4$d©1999
215   $a1 online resource (XII, 396 p.) 
225 1 $aLecture Notes in Computer Science ;$v1730
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-66749-0 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aContributed Papers -- Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning -- Classifying Semi-Normal Default Logic on the Basis of its Expressive Power -- Locally Determined Logic Programs -- Annotated Revision Programs -- Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning -- An Argumentation Framework for Reasoning about Actions and Change -- Representing Transition Systems by Logic Programs -- Transformations of Logic Programs Related to Causality and Planning -- From Causal Theories to Logic Programs (Sometimes) -- Monotone Expansion of Updates in Logical Databases -- Updating Extended Logic Programs through Abduction -- LUPS ? A Language for Updating Logic Programs -- Pushing Goal Derivation in DLP Computations -- Linear Tabulated Resolution for the Well-Founded Semantics -- A Case Study in Using Preference Logic Grammars for Knowledge Representation -- Minimal Founded Semantics for Disjunctive Logic Programming -- On the Role of Negation in Choice Logic Programs -- Default Reasoning via Blocking Sets -- Coherent Well-founded Annotated Logic Programs -- Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Extending Disjunctive Logic Programming by T-norms -- Extending the Stable Model Semantics with More Expressive Rules -- Stable Model Semantics of Weight Constraint Rules -- Towards First-Order Nonmonotonic Reasoning -- A Comparison of Sceptical NAF-Free Logic Programming Approaches -- Characterizations of Classes of Programs by Three-Valued Operators -- Invited Talks -- Using LPNMR for Problem Specification and Code Generation -- Answer Set Planning -- World-Modeling vs. World-Axiomatizing -- Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.
410  0$aLecture notes in computer science ;$v1730.
606   $aLogic programming$vCongresses
615  0$aLogic programming
676   $a005.115
702   $aGelfond$b Michael
702   $aLeone$b Nicola
702   $aPfeifer$b Gerald
712 12$aLPNMR '99
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a996465624403316
996   $aLogic Programming and Nonmonotonic Reasoning$9772042
997   $aUNISA