Title: Representing incomplete knowledge in abductive logic programming
Authors: Denecker, Marc ×
De Schreye, Danny #
Issue Date: Oct-1995
Publisher: Oxford univ press united kingdom
Series Title: Journal of logic and computation vol:5 issue:5 pages:553-577
Abstract: Recently, Gelfond and Lifschitz presented a formal language for representing incomplete knowledge on actions and states, and a sound translation from this language to extended logic programming. We present an alternative translation to abductive logic programming with integrity constraints and prove the soundness and completeness. In addition, we show how an abductive procedure can be used, not only for explanation, but also for deduction and proving satisfiability under uncertainty. From a more general perspective, this work can be viewed as a-successful-experiment in the declarative representation of and automated reasoning on incomplete knowledge using abductive logic programming.
ISSN: 0955-792X
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science