A Hybrid Abductive Inductive Proof Procedure.
Oliver RayKrysia BrodaAlessandra RussoPublished in: Log. J. IGPL (2004)
Keyphrases
- proof procedure
- theorem proving
- abductive logic programming
- propositional logic
- first order logic
- predicate calculus
- proof procedures
- inductive logic programming
- propositional satisfiability
- model theoretic
- machine learning
- logic programs
- decision procedures
- knowledge representation
- theorem prover
- semantic network
- database systems