Buch, Englisch, Band 1471, 252 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g
Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
Buch, Englisch, Band 1471, 252 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-64958-8
Verlag: Springer Berlin Heidelberg
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.
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
Weitere Infos & Material
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.