Reuse of Introduced Symbols in Automatic Theorem Provers (short paper).
Michael RawsonMartin SudaPetra HozzováGiles RegerPublished in: PAAR@IJCAR (2022)
Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- first order logic
- automated theorem proving
- term rewriting
- automated deduction
- higher order logic
- proof search
- computer algebra
- proof planning
- inference rules
- formal semantics
- computer algebra systems
- semi automatic
- learning objects
- artificial intelligence
- natural deduction
- fully automatic
- text classification
- expert systems
- training data