A Mechanizable First-Order Theory of Ordinals.

Peter H. Schmitt

Published in: TABLEAUX (2017)

Keyphrases

higher order
theoretical basis
first order logic
machine learning
decision trees
computational model
general theory
formal theory
database
databases
genetic algorithm
relational databases
theoretical framework
information theory
finite model theory