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>