Logic Programming and Knowledge Representation

1. Front Matter

   PDF

2. Knowledge representation with logic programs

   • Gerhard Brewka, Jürgen Dix

   Pages 1-51

3. Datalog with nested rules

   • Sergio Greco, Nicola Leone, Francesco Scarcello

   Pages 52-65

4. Partial evidential stable models for disjunctive deductive databases

   • Dietmar Seipel

   Pages 66-84

5. Disjunctive logic programming and autoepistemic logic

   • Li -Yan Yuan, Jia -Huai You, Randy Goebel

   Pages 85-101

6. A system for abductive learning of logic programs

   • Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi

   Pages 102-122

7. Refining action theories through abductive logic programming

   • Renwei Li, Luis Moniz Pereira, Veronica Dahl

   Pages 123-138

8. Abduction, argumentation and bi-disjunctive logic programs

   • Kewen Wang, Huowang Chen

   Pages 139-163

9. Reasoning with prioritized defaults

   • Michael Gelfond, Tran Cao Son

   Pages 164-223

10. Generalizing updates: From models to programs

    • JoÃo Alexandre Leite, Luís Moniz Pereira

    Pages 224-246

This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997.
The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.

• Argumentation
• knowledge
• knowledge representation
• learning
• logic
• logic programming
• programming
• semantics

Policies and ethics