Paulo Mateus António Pacheco Javier Pinto Amílcar Sernadas Cristina Sernadas Probabilistic Situation Calculus. 393-431 2001 32 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai32.html#MateusPPSS01