The TPTP problem library

Christian B. Suttner Geoff Sutcliffe Theodor Yemenis

Published in: Forschungsberichte, TU Munich (1993)

Keyphrases

machine learning
first order logic
real time
real world
learning algorithm
computer vision
information systems
automated theorem proving