Strategic Issues, Problems and Challenges in Inductive Theorem Proving.
Bernhard GramlichPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- theorem proving
- key issues
- first order logic
- geometry theorem proving
- technical challenges
- automatic programming
- automated deduction
- combinatorial search
- term rewriting
- machine learning
- proof planning
- consequence finding
- theorem prover
- automated reasoning
- automated theorem proving
- inference rules
- belief revision
- distributed search
- grand challenges