Incorporating Generalized Quantifiers and the Least Fixed Point Operator.

Iain A. Stewart

Published in: CSL (1993)

Keyphrases

fixed point
sufficient conditions
floating point
fixed point theorem
belief propagation
constraint databases
first order logic
dynamical systems
variational inequalities
pairwise
three dimensional
image sequences
free energy
bargaining solution