Tree-based Heuristics in Modal Theorem Proving.
Carlos ArecesRosella GennariJuan HeguiabehereMaarten de RijkePublished in: ECAI (2000)
Keyphrases
- theorem proving
- inference rules
- automated reasoning
- theorem prover
- modal logic
- first order logic
- decision procedures
- automated deduction
- term rewriting
- parallel search
- automatic programming
- logical inference
- automated theorem proving
- proof planning
- search algorithm
- proof procedure
- geometry theorem proving
- heuristic search
- proof search
- combinatorial search
- distributed search
- search strategies