Tomović, S.; Ognjanović, Z.; Doder, D. A first-order logic for reasoning about knowledge and probability. (English) Zbl 1446.03038 ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020). MSC: 03B42 03B48 68T27 68T42 PDF BibTeX XML Cite \textit{S. Tomović} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020; Zbl 1446.03038) Full Text: DOI
Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan Probabilistic common knowledge among infinite number of agents. (English) Zbl 06507043 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20806-0/pbk; 978-3-319-20807-7/ebook). Lecture Notes in Computer Science 9161. Lecture Notes in Artificial Intelligence, 496-505 (2015). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Tomović} et al., Lect. Notes Comput. Sci. 9161, 496--505 (2015; Zbl 06507043) Full Text: DOI