Theodore Patkos Dimitris Plexousakis Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains. 885-890 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-151.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#PatkosP09