| Code, Nr | Citation |
|---|---|
1 | http://www.ucl.ac.uk/~uczcrsm/index.html Some of Rob Miller 's Papers |
2 | http://www.ucl.ac.uk/~uczcrsm/#Actions Related to Reasoning about Action |
3 | http://www.ucl.ac.uk/~uczcrsm/#Edu Related to Educational Computing |
4 | http://www.ucl.ac.uk/~uczcrsm/#WWW Lecture Notes Reasoning about Action |
5 | http://www.ucl.ac.uk/~uczcrsm/abstract1.html Rob Miller, Narratives in the Context of Temporal Reasoning , Imperial College Research Report DoC 94/3, 1994. [Abstract] . |
6 | http://www.dcs.qmw.ac.uk/~mps/ 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] . |
| j-jlc-4-513 | Rob Miller and Murray Shanahan. Narratives in the Situation Calculus. Journal of Logic and Computation, vol. 4 (1994), pp. 513-530. |
7 | http://www.ucl.ac.uk/~uczcrsm/abstract3.html 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] . |
8 | http://www.ucl.ac.uk/~uczcrsm/abstract10.html 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 . |
| c-ecai-96-624 | R. Miller. A Case Study in Reasoning about Actions and Continuous Change. Proc. European Conference on Artificial Intelligence, 1996, pp. 624-629. |
9 | http://www.dcs.qmw.ac.uk/~mps/ 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] . |
| c-kr-96-63 | Rob Miller and Murray Shanahan. Reasoning about Discontinuities in the Event Calculus. Proc. International Conf on Knowledge Representation and Reasoning, 1996, pp. 63-75. |
10 | http://www.ucy.ac.cy/ucy/cs/webPages/PEOPLE/faculty/kakas.htm 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.) |
| j-jlp-31-157 | Antonios Kakas and Rob Miller. A Simple Declarative Language for Describing Narratives with Actions. Journal of Logic Programming, vol. 31 (1997), pp. 157-200. |
11 | http://www.ucl.ac.uk/~uczcrsm/abstract14.html 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] . |
12 | http://www.ucy.ac.cy/ucy/cs/webPages/PEOPLE/faculty/kakas.htm 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] . |
| f-cis.linep.se-97-012 | Antonis Kakas and Rob Miller. Reasoning about Actions, Narratives and Ramification. Linköping University Electronic Press, 1997: [original publication] |
13 | http://www.ucy.ac.cy/ucy/cs/webPages/PEOPLE/faculty/kakas.htm 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] . |
14 | http://lyrcc.ing.puc.cl/jpinto/jpinto.html 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 |
15 | http://www.ucl.ac.uk/~uczcrsm/abstract13.html 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] . |
16 | http://www.ucl.ac.uk/~uczcrsm/abstract14.html Rob Miller, Notes on Deductive and Abductive Planning in the Event Calculus , July, 1996. [Abstract] . [postscript version] . [dvi version] . Educational Computing |
17 | http://medlar.doc.ic.ac.uk/lar/llrpeople.html 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] . |
18 | http://www.ioe.ac.uk/hgm/jo.html 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] . |
19 | http://medlar.doc.ic.ac.uk/lar/llrpeople.html Rob Miller and Derek Brough , Quantitative and Semi-quantitative Computer Tools For Exploratory Learning , Imperial College Research Report DoC 91/29, 1991. [Abstract] . |
20 | http://www.ioe.ac.uk/hgm/jo.html 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] . |
21 | http://www.ioe.ac.uk/hgm/jo.html 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] . |
22 | http://www.ioe.ac.uk/hgm/jo.html 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 |
23 | http://www.ucl.ac.uk/~uczcrsm/C++Intro/CourseStructure.html Rob Miller, An Introduction to the Imperative Part of C++ , Electronically available lecture notes developed for the MSc in Computing Science, at Imperial College of Science, Technology and Medicine, London, 1996. |