Applications of Assertions as Elementary Tactics in Proof Planning.

Published in: AIMSA (1992)

Keyphrases

proof planning
concept formation
theorem proving
building intelligent
theorem prover
knowledge base
proof search
machine learning
artificial intelligence
image processing
propositional logic
meta reasoning