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

P. Mancarella, G. Terreni, F. Sadri +2

We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive lo…