The TPTP Typed First-Order Form with Arithmetic.

Geoff Sutcliffe Stephan Schulz Koen Claessen Peter Baumgartner

Published in: LPAR (2012)

Keyphrases

higher order
first order logic
image processing
evolutionary algorithm
database
data sets
website
bayesian networks
pairwise
data model
background knowledge