Logic Programming and Knowledge Representation

Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

AvLuis Moniz Pereira,Teodor C. Przymusinski

Häftad, Engelska, 1998

Del i serien Lecture Notes in Computer Science

561 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:1998-08-26
Mått:155 x 235 x 15 mm
Vikt:406 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:252
Upplaga:1998
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540649588

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

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.