The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
Paolo MancarellaGiacomo TerreniFariba SadriFrancesca ToniUlrich EndrissPublished in: CoRR (2009)
Keyphrases
- abductive logic programming
- proof procedure
- theorem proving
- logic programs
- propositional logic
- first order logic
- model theoretic
- predicate calculus
- theorem prover
- decision procedures
- constraint satisfaction
- propositional satisfiability
- constraint programming
- formal model
- belief revision
- automated reasoning
- logic programming