Fixed-Point Quantifiers in Higher Order Logics.

Klaus-Dieter Schewe Jose Maria Turull Torres

Published in: EJC (2005)

Keyphrases

fixed point
higher order
anti unification
first order logic
inference rules
default logic
expressive power

markov random field
modal logic
natural images
high order
belief propagation
pairwise

fixed point theorem
sufficient conditions
similarity measure
floating point
policy iteration
constraint databases

bargaining solution
three dimensional
transitive closure
free energy
computer vision
learning algorithm