LEADER 05380nam 22006855 450 001 996465803803316 005 20240327172659.0 010 $a3-540-45402-0 024 7 $a10.1007/3-540-45402-0 035 $a(CKB)1000000000211569 035 $a(SSID)ssj0000324524 035 $a(PQKBManifestationID)11234387 035 $a(PQKBTitleCode)TC0000324524 035 $a(PQKBWorkID)10314205 035 $a(PQKB)10686610 035 $a(DE-He213)978-3-540-45402-1 035 $a(MiAaPQ)EBC3072628 035 $a(PPN)155180487 035 $a(EXLCZ)991000000000211569 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Nonmonotonic Reasoning$b[electronic resource] $e6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings /$fedited by Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (X, 454 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2173 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42593-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- A Computational Logic Approach to Heterogenous Agent Systems -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto -- On The Complexity of Model Checking and Inference in Minimal Models -- Data Integration Needs Reasoning -- Nonmonotomic Inductive Logic Programming -- Regular Papers -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules -- On the Expressibility of Stable Logic Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs -- Reasoning with Open Logic Programs -- Representation of Incomplete Knowledge by Induction of Default Theories -- Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules -- Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded LTL Model Checking with Stable Models -- Diagnosing Physical Systems in A-Prolog -- Planning with Different Forms of Domain-Dependent Control Knowledge ? An Answer Set Programming Approach -- Encoding Solutions of the Frame Problem in Dynamic Logic -- ?-RES: Reasoning about Actions, Events and Observations -- Omega-Restricted Logic Programs -- Improving ASP Instantiators by Join-Ordering Methods -- Optimizing the Computation of Heuristics for Answer Set Programming Systems -- New Generation Systems for Non-monotonic Reasoning -- Algorithms for Computing X-Minimal Models -- Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Multi-adjoint Logic Programming with Continous Semantics -- Multi-dimensional Dynamic Knowledge Representation -- Antitonic Logic Programs -- System Description -- A-system: Declarative Programming with Abduction -- An Update Front-End for Extended Logic Programs -- aspps ? An Implementation of Answer-Set Programming with Propositional Schemata -- NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics -- plp: A Generic Compiler for Ordered Logic Programs -- Prototypes for Reasoning with Infinite Stable Models and Function Symbols -- psmodels: Stable Models Based on Pertinence -- System Description: DLV -- System Description: The DLVK Planning System -- The Smodels System -- The USA-Advisor: A Case Study in Answer Set Planning. 410 0$aLecture Notes in Artificial Intelligence ;$v2173 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer programming 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a005.1/15 702 $aEiter$b Thomas$f1966-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFaber$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTrusczynksi$b Miroslaw$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLPNMR 2001 906 $aBOOK 912 $a996465803803316 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNISA