1. Bacchus F.: Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, MA (1990)
2. Bacchus F., Halpern J. Y., Levesque H. J.: Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence 111(1–2), 171–208 (1999)
3. Baltag, A., L. S. Moss, and S. Solecki, The logic of public announcements, common knowledge, and private suspicions, in Proceedings of TARK, 1998, pp. 43–56.
4. Belle, V., and G. Lakemeyer, A semantical account of progression in the presence of uncertainty, in Proceedings of AAAI, 2011, pp. 165–170.
5. Belle, V., and H. J. Levesque, Reasoning about continuous uncertainty in the situation calculus, in Proceedings of IJCAI, 2013.