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