Hoping for the Truth -
A Survey of the TPTP Logics

Automated Theorem Proving (ATP)

• ATP, What is it?
• ATP, What is it Good For?
• ATP, What Systems are Successful?

Logic, Truth, and the TPTP World

• Reliability of Logics
• The TPTP World
• The TPTP Languages

How Reliable are the TPTP Logics?

• Comparisons
• Evaluations

Conclusion

The End - Any Questions?