Abstract: Proof Planning with Program Schemas.

Julian Richardson

Published in: LOPSTR (1998)

Keyphrases

proof planning
concept formation
theorem proving
building intelligent
theorem prover
image processing
cooperative
logic programs
intelligent agents
background knowledge
proof search