17/03/2000, Friday, 16:30–17:30 Room P3.10, Mathematics Building Jaime Ramos, Instituto Superior Técnico (In)completeness of the Situation Calculus