CIFF Abductive Proof-Procedure.
Marco AlbertiMarco GavanelliEvelina LammaPaola MelloPaolo TorroniPublished in: AI*IA (2005)
Keyphrases
- proof procedure
- abductive logic programming
- theorem proving
- propositional logic
- first order logic
- predicate calculus
- propositional satisfiability
- model theoretic
- proof procedures
- belief revision
- artificial intelligence
- predicate logic
- sat solvers
- operational semantics
- decision procedures
- automated reasoning
- probabilistic reasoning
- knowledge representation
- query language
- knowledge base
- machine learning