Combining Finite Model Generation with Theorem Proving: Problems and Prospects.

John K. Slaney Timothy J. Surendonk

Published in: FroCoS (1996)

Keyphrases

theorem proving
geometry theorem proving
parallel search
first order logic
machine learning
theorem prover
knowledge base
term rewriting
equational theories
search algorithm
automated reasoning
decision procedures
predicate calculus
automated deduction
logical inference
consequence finding