Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm.

Published in: Autom. Softw. Eng. (2003)

Keyphrases

proof planning
theorem prover
first order logic
theorem proving
concept formation
building intelligent
proof search
propositional logic
inductive logic programming