Unique Fixed Point Induction for McCarthy's Amb.

Søren B. Lassen Andrew Moran

Published in: MFCS (1999)

Keyphrases

fixed point
sufficient conditions
dynamical systems
floating point
constraint databases
fixed point theorem
bargaining solution
inductive inference
high quality
belief propagation
free energy