Ebook: Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.

---

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.
Content:
Front Matter....Pages I-XI
A Computational Logic Approach to Heterogenous Agent Systems....Pages 1-21
On The Complexity of Model Checking and Inference in Minimal Models....Pages 21-41
Data Integration Needs Reasoning....Pages 42-53
Nonmonotomic Inductive Logic Programming....Pages 54-61
Strong Equivalence for Logic Programs and Default Theories (Made Easy)....Pages 62-80
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules....Pages 81-92
On the Expressibility of Stable Logic Programming....Pages 93-106
On the Relationship between Defeasible Logic and Well-Founded Semantics....Pages 107-120
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs....Pages 121-132
Reasoning with Open Logic Programs....Pages 133-146
Representation of Incomplete Knowledge by Induction of Default Theories....Pages 147-159
Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules....Pages 160-172
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming....Pages 173-185
Bounded LTL Model Checking with Stable Models....Pages 186-199
Diagnosing Physical Systems in A-Prolog....Pages 200-212
Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach....Pages 213-225
Encoding Solutions of the Frame Problem in Dynamic Logic....Pages 226-239
Omega-Restricted Logic Programs....Pages 240-253
Improving ASP Instantiators by Join-Ordering Methods....Pages 254-267
Optimizing the Computation of Heuristics for Answer Set Programming Systems....Pages 267-280
New Generation Systems for Non-monotonic Reasoning....Pages 280-294
Algorithms for Computing X-Minimal Models....Pages 295-308
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics....Pages 309-321
Multi-adjoint Logic Programming with Continous Semantics....Pages 322-335
Multi-dimensional Dynamic Knowledge Representation....Pages 336-350
Antitonic Logic Programs....Pages 351-364
An Update Front-End for Extended Logic Programs....Pages 365-378
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics....Pages 379-393
Prototypes for Reasoning with Infinite Stable Models and Function Symbols....Pages 393-397
psmodels: Stable Models Based on Pertinence....Pages 397-401
System Description: DLV....Pages 402-405
System Description: The DLVK Planning System....Pages 406-410
The Smodels System....Pages 411-415
The USA-Advisor: A Case Study in Answer Set Planning....Pages 416-419
Back Matter....Pages 420-423
....Pages 424-428