Arity and alternation: a proper hierarchy in higher order logics.

Flavio Antonio Ferrarotti Jose Maria Turull Torres

Published in: Ann. Math. Artif. Intell. (2007)

Keyphrases

higher order
higher order logic
anti unification
natural images
expressive power
high order
modal logic
hierarchical structure
markov models
markov random field
low order
inference rules
data model
inductive learning
higher level
pairwise
conditional random fields
lambda calculus