Bruno Errico Luigia Carlucci Aiello Intelligent Agents in the Situation Calculus: an Application to User Modelling. 126-140 1996 conf/fapr/1996 FAPR db/conf/fapr/fapr96.html#ErricoA96