Logic programming and nonmonotonic reasoning

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>