Assertion Application in Theorem Proving and Proof Planning.

Quoc Bao Vo Christoph Benzmüller Serge Autexier

Published in: IJCAI (2003)

Keyphrases

theorem proving
proof planning
concept formation
building intelligent
theorem prover
inference rules
automated reasoning
proof search
first order logic
term rewriting
decision procedures
parallel search
proof procedure
geometry theorem proving
intelligent agents
natural language processing