Application of Theorem Proving to Problem Solving.

C. Cordell Green

Published in: IJCAI (1969)

Keyphrases

theorem proving
automated reasoning
first order logic
automated deduction
proof planning
inference rules
automatic programming
combinatorial search
parallel search
term rewriting
artificial intelligence
knowledge base
logic programs
theorem prover
proof procedure
geometry theorem proving