Abductive Logic Programming with CIFF : Implementation and Applications

@inproceedings{Endriss2004AbductiveLP,
  title={Abductive Logic Programming with CIFF : Implementation and Applications},
  author={Ulrich Endriss and Paolo Mancarella and Fariba Sadri and G. Terrreni and Francesca Toni},
  year={2004}
}
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.