Limited Second-Order Functionality in a First-Order Setting.

Matt Kaufmann J. Strother Moore

Published in: J. Autom. Reason. (2020)

Keyphrases

higher order
first order logic
data sets
learning algorithm
database systems
image sequences
real world
information retrieval
genetic algorithm
feature selection
data structure
expert systems
data model