Why Does it Work?
CADE-12, 30 Years Ago
An
invited talk
A question
after lunch
Wet pants
at night
An idea
in the park
A Focus on Users and Developers
Many users, many developers, many contributions
Feedback always welcome
Special thanks to
Christian Suttner
A Homogeneous Environment
Standards:
TPTP language
,
SZS ontologies
,
SPCs
,
Derivations
,
Interpretations
Core components:
TPTP library
,
TSTP library
,
Ratings
Services:
SystemOnTPTP
,
StarExec
,
CASC
TPTP compliance
Elegance is not optional
-
Richard O'Keefe
TPTP compliance is not optional
-
Geoff Sutcliffe
A
curious effect
Who will lay the
Stepping Stones
to the Future
TPTP World
?