Luis Moniz Pereira,
Teodor C. Przymusinski
Springer Berlin Heidelberg
1998e druk, 1998
9783540649588
Logic Programming and Knowledge Representation
Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
Specificaties
Paperback, 252 blz.
|
Engels
Springer Berlin Heidelberg |
1998e druk, 1998
ISBN13: 9783540649588
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783540649588
Taal:Engels
Bindwijze:paperback
Aantal pagina's:252
Uitgever:Springer Berlin Heidelberg
Druk:1998
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Inhoudsopgave
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.
