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

by Luis Moniz Pereira (Editor)

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 From models to programs.

264 pages, Paperback

First published October 1, 1998