Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure.
Geoff SutcliffeChristoph BenzmüllerPublished in: J. Formaliz. Reason. (2010)
Keyphrases
- automated reasoning
- higher order logic
- theorem prover
- first order logic
- reasoning systems
- theorem proving
- inference rules
- higher order
- reasoning tasks
- knowledge representation and reasoning
- conditional logic
- machine learning
- knowledge representation
- genetic programming
- inductive logic programming
- probabilistic reasoning
- logical framework
- qualitative and quantitative
- general purpose
- software engineering
- search algorithm