Theodore Patkos Dimitris Plexousakis A Theory of Action, Knowledge and Time in the Event Calculus. 226-238 2008 SETN http://dx.doi.org/10.1007/978-3-540-87881-0_21 conf/setn/2008 db/conf/setn/setn2008.html#PatkosP08