Heuristics Used by HERBY for Semantic Tree Theorem Proving.
Qingxun YuMohammed AlmullaMonroe M. NewbornPublished in: Ann. Math. Artif. Intell. (1998)
Keyphrases
- theorem proving
- theorem prover
- first order logic
- decision procedures
- automatic programming
- automated deduction
- automated reasoning
- parallel search
- inference rules
- proof planning
- proof procedure
- consequence finding
- term rewriting
- automated theorem proving
- tree search
- natural language
- combinatorial search
- logical inference
- semantic network
- timed automata
- heuristic search
- proof search
- geometry theorem proving
- distributed search
- natural language understanding
- search strategies
- knowledge representation
- search algorithm