Untestable Properties Expressible with Four First-Order Quantifiers.

Charles Jordan Thomas Zeugmann

Published in: LATA (2010)

Keyphrases

first order logic
higher order
neural network
search algorithm
desirable properties
transitive closure
data sets
computer vision
feature selection
website
artificial neural networks
data model