Modal Fixed-Point Logic and Changing Models.

Johan van Benthem Daisuke Ikegami

Published in: Pillars of Computer Science (2008)

Keyphrases

fixed point
modal logic
probabilistic model
floating point
belief propagation
constraint databases
image segmentation
three dimensional
image sequences
graphical models
matching algorithm