05387nam 22006855 450 991014362400332120240327172659.03-540-45402-010.1007/3-540-45402-0(CKB)1000000000211569(SSID)ssj0000324524(PQKBManifestationID)11234387(PQKBTitleCode)TC0000324524(PQKBWorkID)10314205(PQKB)10686610(DE-He213)978-3-540-45402-1(MiAaPQ)EBC3072628(PPN)155180487(EXLCZ)99100000000021156920121227d2001 u| 0engurnn#008mamaatxtccrLogic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings /edited by Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (X, 454 p.)Lecture Notes in Artificial Intelligence ;2173Bibliographic Level Mode of Issuance: Monograph3-540-42593-4 Includes bibliographical references at the end of each chapters and index.Invited 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.Lecture Notes in Artificial Intelligence ;2173Software engineeringArtificial intelligenceLogic, Symbolic and mathematicalComputer programmingSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software engineering.Artificial intelligence.Logic, Symbolic and mathematical.Computer programming.Software Engineering/Programming and Operating Systems.Artificial Intelligence.Mathematical Logic and Formal Languages.Programming Techniques.005.1/15Eiter Thomas1966-edthttp://id.loc.gov/vocabulary/relators/edtFaber Wolfgangedthttp://id.loc.gov/vocabulary/relators/edtTrusczynksi Miroslawedthttp://id.loc.gov/vocabulary/relators/edtLPNMR 2001BOOK9910143624003321Logic Programming and Nonmonotonic Reasoning772042UNINA