Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.
Allen Van GelderGeoff SutcliffePublished in: IJCAR (2006)
Keyphrases
- higher order logic
- conditional logic
- natural language
- higher order
- theorem prover
- default reasoning
- nonmonotonic reasoning
- natural language processing
- programming language
- first order logic
- automated theorem proving
- belief revision
- machine translation system
- graphical models
- modal logic
- logical framework
- feature selection