Logic programming and nonmonotonic reasoning

de Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski

Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings<br />Author: Thomas Eiter, Wolfgang Faber, Miros law Truszczyński<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-42593-9<br /> DOI: 10.1007/3-540-45402-0<br /><br />Table of Contents:<p></p><ul><li>A Computational Logic Approach to Heterogenous Agent Systems </li><li>Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto </li><li>On The Complexity of Model Checking and Inference in Minimal Models </li><li>Data Integration Needs Reasoning </li><li>Nonmonotomic Inductive Logic Programming </li><li>Strong Equivalence for Logic Programs and Default Theories (Made Easy) </li><li>On the Effect of Default Negation on the Expressiveness of Disjunctive Rules </li><li>On the Expressibility of Stable Logic Programming </li><li>On the Relationship between Defeasible Logic and Well-Founded Semantics </li><li>A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs </li><li>Reasoning with Open Logic Programs </li><li>Representation of Incomplete Knowledge by Induction of Default Theories </li><li>Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules </li><li>Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming </li><li>Bounded LTL Model Checking with Stable Models </li><li>Diagnosing Physical Systems in A-Prolog </li><li>Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach </li><li>Encoding Solutions of the Frame Problem in Dynamic Logic </li><li>ε-RES: Reasoning about Actions, Events and Observations </li><li>Omega-Restricted Logic Programs</li></ul>