Semantics of Higher-Order Recursion Schemes

Jirí Adámek Stefan Milius Jiri Velebil

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

higher order
higher order logic
high order
formal semantics
pairwise
natural images
semantic information
conditional random fields
default reasoning
semantic representation
operational semantics
logic programming
data sets
markov random field
multiscale
transformation rules
model theoretic
lower order
databases