Hoping for the Truth - A Survey of the TPTP Logics.
Geoff SutcliffeFrancis Jeffry PelletierPublished in: FLAIRS Conference (2016)
Keyphrases
- truth values
- valued logic
- first order logic
- expressive power
- modal logic
- classical logic
- inference rules
- automated theorem proving
- knowledge representation formalisms
- proof theory
- nonmonotonic logics
- artificial intelligence
- propositional logic
- fuzzy sets
- optimal solution
- database systems
- case study
- computer vision
- real time