Ultraproducts and Higher Order Formulas.

Published in: Math. Log. Q. (2002)

Keyphrases

higher order
high order
natural images
pairwise
conditional random fields
markov models
markov random field
low order
database
propositional formulas
databases
artificial intelligence
decision trees
case study
propositional logic