Propositional Dynamic Logic for Message-Passing Systems.

Benedikt Bollig Dietrich Kuske Ingmar Meinecke

Published in: FSTTCS (2007)

Keyphrases

message passing
distributed systems
distributed shared memory
belief propagation
probabilistic inference
shared memory
factor graphs
expert systems
approximate inference
graphical models
dynamic programming
pairwise
higher order
graph cuts
matrix multiplication
propositional dynamic logic
sum product