Timothy William Cleaver Abdul Sattar Kewen Wang Reasoning with the Outcomes of Plan Execution in Intentional Agents. 60-69 2005 conf/ausai/2005 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11589990_9 db/conf/ausai/ausai2005.html#CleaverSW05