Login / Signup
Flat coalgebraic fixed point logics
Lutz Schröder
Yde Venema
Published in:
CoRR (2010)
Keyphrases
</>
fixed point
default logic
expressive power
modal logic
sufficient conditions
belief propagation
dynamical systems
constraint databases
bargaining solution
fixed point theorem
computer vision
floating point
free energy
preprocessing
markov random field
policy iteration