SOME OF ROB MILLER'S PAPERS

Some of Rob Miller's Papers

Related to Reasoning about Action

Related to Educational Computing

Lecture Notes

Reasoning about Action

Rob Miller, Narratives in the Context of Temporal Reasoning, Imperial College Research Report DoC 94/3, 1994. [Abstract].

Rob Miller and Murray Shanahan, Narratives in the Situation Calculus, The Journal of Logic and Computation (Special Issue on Actions and Processes), vol 4, no 5, 1994, pages 513-530. [Abstract]. [postscript version]. [dvi version].

Rob Miller, Situation Calculus Specifications for Event Calculus Logic Programs, in Proceedings of the Third International Conference on Logic Programming and Non-monotonic Reasoning, Lexington, KY, USA, pub. Springer Verlag, 1995, pages 217-230. [Abstract]. [postscript version]. [dvi version].

Rob Miller, A Case Study in Reasoning about Actions and Continuous Change, Imperial College Research Report DoC 95/20, 1995, latest revision 18th April 1996. [Abstract]. [postscript version]. [dvi version]. A shorter version of this paper appears in the proceedings of ECAI'96, Budapest, Hungary. The November 1995 revision of this paper also appears in the working notes of Common Sense 96, Third Symposium on Logical Formalizations of Commonsense Reasoning.

Rob Miller and Murray Shanahan, Reasoning about Discontinuities in the Event Calculus, in proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR 96), 1996. [Abstract]. [postscript version]. [dvi version].

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]. (A previous version of this paper appears as Imperial College Research Report DoC 95/12, 1995.)

Rob Miller, Deductive and Abductive Planning in the Event Calculus, in Proceedings of the Second AISB Workshop on Practical Reasoning and Rationality, Manchester, U.K., April 1997. [Abstract]. [postscript version]. [dvi version].

Antonis Kakas and Rob Miller, Reasoning about Actions, Narratives and Ramifications, Linköping Electronic Articles in Computer and Information Science, Vol. 2(1997): nr 12. http://www.ep.liu.se/ea/cis/1997/012/. October 16, 1997. Also posted and under public review in the News Journal of Electronic Transactions on Artificial Intelligence. [Abstract]. [Summary]. [postscript version].

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

Rob Miller and Javier Pinto, Temporal Languages for Reasoning about Action, in The Handbook of Time and Temporal Reasoning in Artificial Intelligence, ed.s L. Vila, P. van Beek, M. Fisher, A. Galton and B. Nebel, (to appear), 1998.

Reasoning about Action - Unpublished Notes and Ongoing Work

Rob Miller, Reasoning about Continuous Change in the Event Calculus - Notes on Alternative Representations of the Robot Example, June, 1996. [Abstract]. [postscript version]. [dvi version].

Rob Miller, Notes on Deductive and Abductive Planning in the Event Calculus, July, 1996. [Abstract]. [postscript version]. [dvi version].

Educational Computing

Rob Miller and Derek Brough, A Logical Approach to Modelling Dynamic Systems, in Learning With Artificial Intelligence, Proceedings of the Fourth International P.E.G. Conference, pub. Uppsala University Press, Sweeden, 1989. [Abstract].

Rob Miller, Jon Ogborn, John Turner, Jonathan Briggs and Derek Brough, Towards a Tool to Support Semi-Quantitative Modelling, in Proceedings of the IFIP TC3 International Conference on Advanced Research on Computers in Education, Tokyo, 1990, ed.s Robert Lewis and Setsuko Otsuki, pub. North-Holland, Amsterdam, 1991. [Abstract].

Rob Miller and Derek Brough, Quantitative and Semi-quantitative Computer Tools For Exploratory Learning, Imperial College Research Report DoC 91/29, 1991. [Abstract].

Joan Bliss, Jon Ogborn, Richard Boohan, Jonathan Briggs, Tim Brosnan, Derek Brough, Harvey Mellar, Rob Miller, C. Nash, Cathy Rodgers, and Babis Sakondis, Reasoning Supported by Computational Tools, Computers and Education , 18, pages 1-10, 1992. [Abstract].

Rob Miller, Jon Ogborn, Jonathan Briggs, Derek Brough, Joan Bliss, Richard Boohan, Tim Brosnan, Harvey Mellar and Babis Sakonidis, Educational Tools for Computational Modelling, in Computers Education, Vol. 21 No. 3, pub. Pergamon Press, 1993, pages 205-261. [Abstract].

Jon Ogborn and Rob Miller, Computational Issues in Modelling, in Learning with Artificial Worlds: Computer based Modelling in the Curriculum, ed.s Mellar et. al., pub. Falmer Press, 1994. [Abstract].

Lecture Notes