Logic programming and nonmonotonic reasoning

About this book

Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings Author: Thomas Eiter, Wolfgang Faber, Miros law Truszczyński Published by Springer Berlin Heidelberg ISBN: 978-3-540-42593-9 DOI: 10.1007/3-540-45402-0 Table of Contents: 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 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