Adapting proof automation to adapt proofs.
Talia RingerNathaniel YazdaniJohn LeoDan GrossmanPublished in: CPP (2018)
Keyphrases
- mathematical proofs
- theorem prover
- theorem proving
- interactive theorem proving
- natural deduction
- automated theorem provers
- formal proof
- proof search
- automated theorem proving
- decision procedures
- proof planning
- mathematical knowledge
- cut elimination
- first order logic
- changing environment
- cognitive processes
- sequent calculus
- databases
- inference rules
- information retrieval
- knowledge base
- formal proofs
- search algorithm
- natural language
- digital libraries
- mobile robot
- linear logic
- data sets