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

A Computational Logic Approach to Heterogenous Agent Systems....Pages 1-21
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto ....Pages 21-41
On The Complexity of Model Checking and Inference in Minimal Models....Pages 42-53
Data Integration Needs Reasoning....Pages 54-61
Nonmonotomic Inductive Logic Programming....Pages 62-80
Strong Equivalence for Logic Programs and Default Theories (Made Easy)....Pages 81-92
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules....Pages 93-106
On the Expressibility of Stable Logic Programming....Pages 107-120
On the Relationship between Defeasible Logic and Well-Founded Semantics....Pages 121-132
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs....Pages 133-146
Reasoning with Open Logic Programs....Pages 147-159
Representation of Incomplete Knowledge by Induction of Default Theories....Pages 160-172
Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules....Pages 173-185
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming....Pages 186-199
Bounded LTL Model Checking with Stable Models....Pages 200-212
Diagnosing Physical Systems in A-Prolog....Pages 213-225
Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach....Pages 226-239
Encoding Solutions of the Frame Problem in Dynamic Logic....Pages 240-253
 ε - RES : Reasoning about Actions, Events and Observations....Pages 254-267
Omega-Restricted Logic Programs....Pages 267-280
Improving ASP Instantiators by Join-Ordering Methods....Pages 280-294
Optimizing the Computation of Heuristics for Answer Set Programming Systems....Pages 295-308
New Generation Systems for Non-monotonic Reasoning....Pages 309-321
Algorithms for Computing X -Minimal Models....Pages 322-335
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics....Pages 336-350
Multi-adjoint Logic Programming with Continous Semantics....Pages 351-364
Multi-dimensional Dynamic Knowledge Representation....Pages 365-378
Antitonic Logic Programs....Pages 379-393
 A -system: Declarative Programming with Abduction....Pages 393-397
An Update Front-End for Extended Logic Programs....Pages 397-401
 aspps — An Implementation of Answer-Set Programming with Propositional Schemata....Pages 402-405
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics....Pages 406-410
 plp : A Generic Compiler for Ordered Logic Programs....Pages 411-415
Prototypes for Reasoning with Infinite Stable Models and Function Symbols....Pages 416-419
psmodels: Stable Models Based on Pertinence....Pages 420-423
System Description: DLV....Pages 424-428
System Description: The DLV K Planning System....Pages 429-433
The Smodels System....Pages 434-438
The USA-Advisor: A Case Study in Answer Set Planning....Pages 439-442