Propositional Dynamic Logic for Message-Passing Systems

Benedikt Bollig Dietrich Kuske Ingmar Meinecke

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

message passing
distributed systems
belief propagation
distributed shared memory
factor graphs
probabilistic inference
shared memory
graph cuts
propositional dynamic logic
inference in graphical models
knowledge base
higher order
graphical models