Exploiting Hidden Semantic Clues for Heuristic Guidance of Non-Clausal Theorem Proving.
I. S. TorsunL. M. NewnhamPublished in: Applied Informatics (1999)
Keyphrases
- theorem proving
- decision procedures
- automated deduction
- first order logic
- theorem prover
- automatic programming
- automated reasoning
- proof planning
- parallel search
- inference rules
- term rewriting
- automated theorem proving
- proof procedure
- predicate calculus
- geometry theorem proving
- combinatorial search
- logical inference
- consequence finding
- optimal solution
- combinatorial optimization
- tabu search
- distributed search
- data mining
- semantic network
- labeled data
- equational theories