Layered fixed point logic.

Piotr Filipiuk Flemming Nielson Hanne Riis Nielson

Published in: PPDP (2012)

Keyphrases

fixed point
linear logic
sufficient conditions
belief propagation
dynamical systems
modal logic
floating point
constraint databases
logic programming
fixed point theorem
image processing
three dimensional
graphical models
variational inequalities
free energy