Laurence Cholvy Christophe Garion Claire Saurel Ability in a Multi-agent Context: A Model in the Situation Calculus. 23-36 2005 conf/clima/2005 CLIMA VI http://dx.doi.org/10.1007/11750734_2 db/conf/clima/climaVI2005.html#CholvyGS05