Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 ProceedingsAuthor: 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-0Table 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