LangPro: Natural Language Theorem Prover.
Lasha AbzianidzePublished in: EMNLP (System Demonstrations) (2017)
Keyphrases
- theorem prover
- natural language
- text generation
- theorem proving
- first order logic
- automated reasoning
- term rewriting
- automated theorem proving
- natural language interface
- inference rules
- higher order logic
- knowledge representation
- natural language processing
- computer algebra
- formal proof
- automated deduction
- machine learning
- natural language generation
- formal semantics
- semantic analysis
- dialogue system
- question answering
- information extraction
- timed automata
- computer algebra systems
- language processing
- higher order
- natural deduction
- proof search
- semantic interpretation
- learning algorithm
- genetic algorithm