Logic Programming and Knowledge Representation

Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
1998
ISBN: 978-3-540-64958-8
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 1471, 252 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Przymusinski, Teodor C.

Moniz Pereira, Luis

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur

Inhaltsverzeichnis

Knowledge representation with logic programs.- Datalog with nested rules.- Partial evidential stable models for disjunctive deductive databases.- Disjunctive logic programming and autoepistemic logic.- A system for abductive learning of logic programs.- Refining action theories through abductive logic programming.- Abduction, argumentation and bi-disjunctive logic programs.- Reasoning with prioritized defaults.- Generalizing updates: From models to programs.