Representing Heuristic-Relevant Information for an Automated Theorem Prover.
Christian B. SuttnerPublished in: IMYCS (1990)
Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- inference rules
- term rewriting
- automated deduction
- automated theorem proving
- first order logic
- formal proof
- computer algebra
- higher order logic
- dynamic programming
- semi automated
- proof planning
- timed automata
- optimal solution
- formal semantics
- learning algorithm
- search procedure
- natural deduction
- boolean algebra
- artificial intelligence
- combinatorial optimization
- proof search
- constraint satisfaction
- text classification
- scheduling problem