Associated Papers

  1. A.C. Kakas, R.S. Miller and F. Toni, E-RES: Reasoning about Actions, Events and Observations, in the proceedings of LPNMR2001, LNAI Vol. 2173, pp. 254-266, Springer Verlag, 2001. [postscript version]

  2. Antonis Kakas and Rob Miller, A Simple Declarative Language for Describing Narratives with Actions, The Journal of Logic Programming, Vol 31(1-3) (Special Issue on Reasoning about Action and Change), pages 157-200, Elsevier Science, 1997. [Abstract]. [postscript version]. [dvi version].


  3. Antonis Kakas and Rob Miller, Reasoning about Actions, Narratives and Ramifications, Journal of Electronic Transactions on Artificial Intelligence 1(4), Linköping University Electronic Press (article http://www.ep.liu.se/ea/cis/1997/012/), 1997. [Abstract]. [Summary]. [postscript version].


  4. Antonis Kakas and Rob Miller, Reasoning about Actions, Events and Causality, AAAI Spring Symposium: Prospects for a Commonsense Theory of Causation, Stanford University, March 23-25 1998. [Abstract]. [postscript version]. [dvi version].


  5. Antonis Kakas, Rob Miller and Francesca Toni, An Argumentation Framework for Reasoning about Actions and Change, Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, M. Gelfond, N. Leone, G. Pfeifer eds., Springer Verlag LNAI 1730, pages 78-91, 1999. [postscript version].


  6. Antonis Kakas, Rob Miller and Francesca Toni, Planning with Incomplete Information, Proceedings of NMR’2000, Special Session on “Representing Actions and Planning”, 2000. [CoRR electronic versions].


  7. Antonis Kakas, Rob Miller and Francesca Toni, E-RES - A System for Reasoning about Actions, Events and Observations, Proceedings of NMR’2000, Special Session on “ System Demonstrations and Descriptions ”, 2000. [CoRR electronic versions].