Belief Flow in Assertion Networks
Sujata Ghosh, Benedikt Löwe, Erik Scorelle

Abstract:
We define an abstract model of belief propagation on a graph based on
the methodology of the revision theory of truth together with the
Assertion Network Toolkit, a graphical interface designed to test our
semantics.