Combining Deduction Modulo and Logics of Fixed-Point Definitions.

David Baelde Gopalan Nadathur

Published in: LICS (2012)

Keyphrases

fixed point
inference rules
default logic
sufficient conditions
floating point
dynamical systems
belief propagation
expressive power
modal logic
constraint databases
fixed point theorem
least squares
image segmentation
anti unification