ROB MILLER - SELECTED PUBLICATIONS

• Antonis Kakas, Loizos Michael, and Rob Miller, Modular-E and the Role of Elaboration Tolerance in Solving the Qualifcation Problem, Artificial Intelligence Journal, Volume 175, Issue 1 (John McCarthy's Legacy) , January 2011, Pages 49-78. Pub. Elsevier. doi:10.1016/j.artint.2010.04.008. [http://www.sciencedirect.com/science/article/pii/S0004370210000445]

• Krysia Broda, Keith Clark, Rob Miller and Alessandra Russo, SAGE: A Logical Agent-Based Environment Monitoring and Control System, in proceedings of the 3rd European Conference on Ambient Intelligence (AmI'09), November 18th - 21st, 2009, Salzburg, Austria, www.ami-09.org, published by Springer (LNCS series). [PDF]

• Antonis Kakas, Loizos Michael, and Rob Miller, Fred Meets Tweety, in procedings of CogRob'08: the 6th International Cognitive Robotics Workshop, July 21-22, 2008, Patras, Greece, http://www.cse.yorku.ca/cogrob08. [PDF]

• Jeremy Forth and Rob Miller, Ramifications: An Extension and Correspondence Result for the Event Calculus, Journal of Logic and Computation 2007; doi: 10.1093/logcom/exm018, 2007. [PDF]

• Rob Miller, Three Problems in Logic-based Knowledge Representation, ASLIB proceedings: New information perspectives, volume 58(1-2), pub. Emerald, 2006.

• Antonis Kakas, Loizos Michael, and Rob Miller, Modular-E: an Elaboration Tolerant Approach to the Ramification and Qualification Problems, in proceedings of LPNMR'05, 2005.

• Antonis Kakas, Loizos Michael, and Rob Miller, Modular-E: an Elaboration Tolerant Approach to the Ramification and Qualification Problems, in proceedings of CommonSense'05, Dreseden University technical report TUD-F105-04, 2005.

• Alessandra Russo, Rob Miller, Bashar Nuseibeh and Jeff Kramer, An Abductive Approach for Analysing Event-based Requirements Specifications, Best Application Paper Award Proceedings of ICLP'02, 2002.

• Rob Miller and Murray Shanahan, Some Alternative Formulations of the Event Calculus, Lecture Notes in Artificial Intelligence, volume 2408, 2002. [pdf version].

• Rob Miller and Murray Shanahan, The Event Calculus in Classical Logic - Alternative Axiomatisations, submitted to the Journal of Electronic Transactions on Artificial Intelligence, pub. Linköping University Electronic Press, 2000. [ETAI review page]. [postscript version].

• Antonis Kakas, Rob Miller and Francesca Toni, Planning with Incomplete Information, in proceedings of the 8th International Symposium on Nonmonotonic Reasoning (NMR2000), pub. Computing Research Repository (CoRR), 2000. [CoRR electronic versions].

• Antonis Kakas, Rob Miller and Francesca Toni, E-RES - A System for Reasoning about Actions, Events and Observations, in proceedings of the 8th International Symposium on Nonmonotonic Reasoning (NMR2000), pub. Computing Research Repository (CoRR), 2000. [CoRR electronic versions].

• Alessandra Russo, Rob Miller, Bashar Nuseibeh and Jeff Kramer, An Abductive Approach for Handling Inconsistencies in SCR Specifications, in proceedings of the 3rd International Workshop on Intelligent Software Engineering (WISE3), Limerick, Ireland, June, 2000. [PDF version].

• Antonis Kakas, Rob Miller and Francesca Toni, An Argumentation Framework for Reasoning about Actions and Change, in proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR99), ed.s Gelfond, Leone and Pfeifer, pages 78-91, pub. Springer Verlag (LNAI 1730), 1999. [postscript version].

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

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

• Antonis Kakas and Rob Miller, Reasoning about Actions, Narratives and Ramifications, Journal of Electronic Transactions on Artificial Intelligence Volume 1 (4), pub. Linköping University Electronic Press, 1997. [ETAI review page]. [Abstract]. [Summary]. [postscript version].

• 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].

• Rob Miller, A Case Study in Reasoning about Actions and Continuous Change, in proceedings of the 12th European Conference on Artificial Intelligence (ECAI96), Budapest, Hungary, pages 624-628, pub. John Wiley, 1996. [Abstract]. [postscript version]. [dvi version].

• 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 (KR96), pages 63-74, pub. Morgan Kaufmann, 1996. [Abstract]. [postscript version]. [dvi version].

• Rob Miller, Situation Calculus Specifications for Event Calculus Logic Programs, in proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR95), pages 217-230, pub. Springer Verlag (LNAI 928), 1995. [Abstract]. [postscript version]. [dvi version].

• Rob Miller, Formal Reasoning about Actions and Narratives, Ph.D. Thesis, University of London, 1995.

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

• 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, pages 33-38, pub. Falmer Press, 1994. [Abstract].

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

• 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, Volume 21 (3), pages 205-261, pub. Pergamon Press, 1993. [Abstract].