Decidable Fragments of a Higher Order Calculus with Locations.

Mikkel Bundgaard Jens Chr. Godskesen Bjørn Haagensen Hans Hüttel

Published in: EXPRESS (2008)

Keyphrases

higher order
lambda calculus
pairwise
high order
linear time temporal logic
natural images
low order
databases
markov random field
first order logic
datalog programs
data model
hidden markov models
probabilistic model
complex objects
lower order