Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers: 1471 - Brossura

Pereira, Luis Moniz; Dix, J??rgen; Przymusinski, Teodor C.

 
9783540649588: Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers: 1471

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783662189658: Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

Edizione in evidenza

ISBN 10:  3662189658 ISBN 13:  9783662189658
Casa editrice: Springer, 2014
Brossura