A Fixed-Point Logic with Symmetric Choice.

Anuj Dawar David Richerby

Published in: CSL (2003)

Keyphrases

fixed point
linear logic
sufficient conditions
floating point
belief propagation
logic programming
dynamical systems
variational inequalities
free energy
knowledge base
default logic
constraint databases
bargaining solution