Fixed-point Logics with Nondeterministic Choice.

Anuj Dawar David Richerby

Published in: J. Log. Comput. (2003)

Keyphrases

fixed point
default logic
expressive power
sufficient conditions
modal logic
floating point
dynamical systems
initial state
finite state
free energy
belief propagation
constraint databases
image segmentation
bayesian networks
pairwise