Paulo Mateus António Pacheco Javier Pinto Observations and the Probabilistic Situation Calculus. 327-340 2002 conf/kr/2002 KR db/conf/kr/kr2002.html#MateusPP02