Maria del Pilar Pozos Parra Abhaya C. Nayak Robert Demolombe Theories of Intentions in the Framework of Situation Calculus. 19-34 2004 conf/dalt/2004 DALT http://dx.doi.org/10.1007/11493402_2 db/conf/dalt/dalt2004.html#ParraND04