29/06/2001, Friday, 16:30–17:30 Room P3.10, Mathematics Building Paulo Mateus, Instituto Superior Técnico Observations and the Probabilistic Situation Calculus