1. Reasoning about action I: a possible worlds approach;Ginsberg;Artificial Intelligence,1988
2. E-RES: reasoning about actions, events and observations;Kakas,2001
3. A Simple Declarative Language for Describing Narratives with Actions;Kakas;The Journal of Logic Programming,1997
4. Database updates in the event calculus;Kowalski;Journal of Logic Programming,1992
5. V. Lifshitz, Towards a metatheory of action, in: J.F. Allen, R. Fikes, E. Sandewall, (Eds.), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991, pp. 376–386.