A Proof Strategy Language and Proof Script Generation for Isabelle/HOL.
Yutaka NagashimaRamana KumarPublished in: CADE (2017)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- automated theorem proving
- inference rules
- text generation
- higher order logic
- proof search
- cut elimination
- sequent calculus
- first order logic
- natural language
- artificial intelligence
- linear logic
- mathematical proofs
- proof theory
- data sets
- language learning
- programming language
- information extraction
- multi agent systems
- knowledge base
- neural network
- databases