Errico, Bruno and Luigia Aiello: Intelligent Agents in the Situation Calculus: an Application to User Modelling. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [other-usages]. Code: [Errico96A].