A Natural-Language Proof Assistant for Higher-Order Logic (Work in Progress).
Adam DinglePublished in: PAAR+SC²@IJCAR (2024)
Keyphrases
- higher order logic
- natural language
- higher order
- theorem prover
- conditional logic
- logical framework
- test bed
- natural language processing
- default reasoning
- knowledge representation
- first order logic
- automated reasoning
- theorem proving
- machine learning
- pairwise
- nonmonotonic reasoning
- general purpose
- information extraction
- feature extraction
- inference rules
- feature space