The TPTP World - Infrastructure for Automated Reasoning.
Geoff SutcliffePublished in: LPAR (Dakar) (2010)
Keyphrases
- automated reasoning
- theorem prover
- reasoning systems
- automated theorem proving
- theorem proving
- probabilistic reasoning
- knowledge representation
- decision procedures
- first order logic
- reasoning tasks
- knowledge representation and reasoning
- automated verification
- machine learning
- inference rules
- search algorithm
- logic programming
- object oriented
- artificial neural networks