A Critique of Proof Planning.

Published in: Computational Logic: Logic Programming and Beyond (2002)

Keyphrases

proof planning
concept formation
theorem proving
building intelligent
theorem prover
proof search
domain knowledge
first order logic
probabilistic model