Guarded fixed point logics and the monadic theory of countable trees.

Published in: Theor. Comput. Sci. (2002)

Keyphrases

fixed point
sufficient conditions
dynamical systems
default logic
floating point
expressive power
belief propagation
fixed point theorem
markov chain
deductive databases
bayesian networks
markov random field
finite state
variational inequalities
constraint databases