Publications: Older than 2004


M. Shanahan, Solving the Frame Problem, MIT Press (1997).

M. Shanahan, R.W. Southwick, Search, Inference and Dependencies in Artificial Intelligence, Ellis Horwood (1989).


M. Shanahan, B.J. Baars, Applying Global Workspace Theory to the Frame Problem, Cognition, vol. 98(2), pp. 157-176 (2005).

M. Shanahan, Global Access, Embodiment, and the Conscious Subject, Journal of Consciousness Studies, vol. 12(12), pp. 46-66 (2005).

M. Shanahan, Perception as Abduction: Turning Sensor Data into Meaningful Representation, Cognitive Science, vol 29, pp. 103-134 (2005).

M. Shanahan, An Attempt to Formalise a Non-Trivial Benchmark Problem in Common Sense Reasoning, Artificial Intelligence, vol. 153, pp. 141-165. (2004).

M. Shanahan, M. Witkowski, Event Calculus Planning Through Satisfiability, The Journal of Logic and Computation, vol. 14, pp. 731-745 (2004).

M. Shanahan, An Abductive Event Calculus Planner, The Journal of Logic Programming, vol. 44, pp. 207-239 (2000).

M. Shanahan, A Circumscriptive Calculus of Events, Artificial Intelligence, vol 77, pp. 249-284 (1995).

R.S. Miller , M. Shanahan, Narratives in the Situation Calculus, The Journal of Logic and Computation, vol. 4(5), pp. 513-530 (1994).

M. Shanahan, Default Reasoning about Spatial Occupancy, Artificial Intelligence, vol. 74(1), pp. 147-163 (1995).

Conferences (Peer Reviewed)

J. Forth, M. Shanahan, Indirect and Conditional Sensing in the Event Calculus, Proceedings ECAI, pp. 900-904 (2004).

M. Shanahan, D. Randell, A Logic-Based Formulation of Active Visual Perception, Proceedings KR (2004).

M. Shanahan, A Logical Account of Perception Incorporating Feedback and Expectation, Proceedings KR (2002).

P. Santos, M. Shanahan, Hypothesising Object Relations from Image Transitions, Proceedings ECAI (2002).

D. Randell, M. Witkowski, M. Shanahan, From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax, Proceedings IJCAI (2001).

M. Shanahan, The Ramification Problem in the Event Calculus, Proceedings IJCAI (1999).

M. Shanahan, Noise, Non-Determinism and Spatial Uncertainty, Proceedings AAAI (1997).

R.S. Miller, M. Shanahan, Reasoning about Discontinuities in the Event Calculus, Proceedings KR (1996).

M. Shanahan, Robotics and the Common Sense Informatic Situation, Proceedings ECAI (1996).

M. Shanahan, Noise and the Common Sense Informatic Situation for a Mobile Robot, Proceedings AAAI (1996).

M. Shanahan, Evolutionary Automata, Proceedings ALife IV (1994).

M. Shanahan, Explanation in the Situation Calculus, Proceedings IJCAI (1993).

M. Shanahan, Representing Continuous Change in the Event Calculus, Proceedings ECAI (1990).

M. Shanahan, Prediction Is Deduction but Explanation Is Abduction, Proceedings IJCAI (1989).

M. Shanahan, An Incremental Theorem Prover, Proceedings IJCAI (1987).

Book Chapters

M. Shanahan, The Frame Problem, in The Stanford Encyclopedia of Philosophy, The Stanford Encyclopedia of Philosophy (2004).

M. Shanahan, The Frame Problem, in The Macmillan Encyclopedia of Cognitive Science, Macmillan (2002).

M. Shanahan, Reinventing Shakey, in Logic-Based Artificial Intelligence, ed. Jack Minker, Kluwer Academic (2000).

M. Shanahan, The Event Calculus Explained, in Artificial Intelligence Today, d. M.J.Wooldridge and M.Veloso, Springer Lecture Notes in Artificial Intelligence no. 1600, Springer (1999).

M. Shanahan, What Sort of Computation Mediates Best between Perception and Action? Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, ed. H.Levesque and F.Pirri, Springer-Verlag (1999).

M. Shanahan, Connectionism, Concepts and Folk Psychology: The Legacy of Alan Turing, vol. 2, ed. A. Clark and P.J.R.Millican, Oxford University Press (1996).

Workshops (Peer Reviewed)

M. Shanahan, Consciousness, Emotion, and Imagination: A Brain-Inspired Architecture for Cognitive Robotics, Proceedings AISB 2005 Symposium on Next Generation Approaches to Machine Consciousness (2005).

M. Shanahan, Cognition, Action Selection, and Inner Rehearsal, Proceedings IJCAI 2005 Workshop on Modelling Natural Action Selection (2005).

M. Shanahan, Using Reactive Rules to Guide a Forward-Chaining Planner, Proceedings 6th European Conference on Planning (ECP 01) (2001).

M. Shanahan, M. Witkowski, High-Level Robot Control Through Logic, Proceedings ATAL 2000, published as Intelligent Agents VII, Springer-Verlag (2000).

M. Shanahan, Event Calculus Planning Revisited, Proceedings 4th European Conference on Plannning (ECP 97) (2001).