Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property.

José Martínez-Fernández

Published in: Notre Dame J. Formal Log. (2007)

Keyphrases

fixed point
fixed point theorem
sufficient conditions
dynamical systems
variational inequalities
floating point
closure operator
bargaining solution
belief propagation
default logic
free energy
database
computer vision
image processing
bayesian networks
constraint databases