Ghosh, Sujata; Löwe, Benedikt; Scorelle, Erik Belief flow in assertion networks. (English) Zbl 1213.68590 Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 401-414 (2007). Summary: 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.For the entire collection see [Zbl 1122.68010]. Cited in 3 Documents MSC: 68T27 Logic in artificial intelligence 03B42 Logics of knowledge and belief (including belief change) 05C90 Applications of graph theory PDFBibTeX XMLCite \textit{S. Ghosh} et al., Lect. Notes Comput. Sci. 4604, 401--414 (2007; Zbl 1213.68590) Full Text: DOI