Computing Publications

Publications Home » Abductive logic programming with ...

Abductive logic programming with CIFF: implementation and applications

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Conference or Workshop Paper
Convegno Italiano di logica computazionale (CILC-2004)
June, 2004
Universita di Parma

We describe a system implementing a novel extension of Fung and Kowalski's IFF abductive proof procedure which we call CIFF, and its application to realise intelligent agents that can construct (partial or complete) plans and react to changes in the environment. CIFF extends the original IFF procedure in two ways: by dealing with constraint predicates and by dealing with non-allowed abductive logic programs.

PDF of full publication (203 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.