The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments

Paolo Mancarella Giacomo Terreni Fariba Sadri Francesca Toni Ulrich Endriss The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments http://arxiv.org/abs/0906.1182 2009 CoRR abs/0906.1182 db/journals/corr/corr0906.html#abs-0906-1182