TFX: The TPTP Extended Typed First-Order Form.

Geoff Sutcliffe Evgenii Kotelnikov

Published in: PAAR@FLoC (2018)

Keyphrases

higher order
first order logic
real time
real world
decision trees
multi agent systems
machine learning
social networks
metadata
high level
learning environment
digital libraries
expert systems
evolutionary algorithm
stochastic dominance
decomposable negation normal form