| Code, Nr | Citation |
|---|---|
1 | NIL Murray Shanahan's PublicationsReasoning about Action and ChangeFurther work on abductive event calculus appears under the Planning heading. Much of this work finds application in papers under the Robotics heading. |
2 | http://www-lp.doc.ic.ac.uk/_lp/Shanahan/explanation89.ps.Z M.P.Shanahan, Prediction Is Deduction but Explanation Is Abduction , Proceedings IJCAI 89 , pages 1055-1060. Abstract |
| c-ijcai-89-1055 | M. P. Shanahan. Prediction is Deduction but Explanation is Abduction. Proc. International Joint Conference on Artificial Intelligence, 1989, pp. 1055-1060. |
3 | http://www-lp.doc.ic.ac.uk/_lp/Shanahan/cont_change.ps.Z M.P.Shanahan, Representing Continuous Change in the Event Calculus , Proceedings ECAI 90 , pages 598-603. Abstract |
| c-ecai-90-598 | Murray Shanahan. Representing Continuous Change in the Event Calculus. [postscript] Proc. European Conference on Artificial Intelligence, 1990, pp. 598-603. |
4 | http://www-lp.doc.ic.ac.uk/_lp/Shanahan/explanation93.ps.Z M.P.Shanahan, Explanation in the Situation Calculus , Proceedings IJCAI 93 , pages 160-165. Abstract |
| c-ijcai-93-160 | Murray Shanahan. Explanation in the Situation Calculus. [postscript] Proc. International Joint Conference on Artificial Intelligence, 1993, pp. 160-165. |
5 | http://laotzu.doc.ic.ac.uk/UserPages/staff/rsm/rsm.html R.S.Miller and M.P.Shanahan, Narratives in the Situation Calculus , The Journal of Logic and Computation , vol 4, no 5, (1994), pages 513-530. |
| j-jlc-4-513 | Rob Miller and Murray Shanahan. Narratives in the Situation Calculus. [postscript] Journal of Logic and Computation, vol. 4 (1994), pp. 513-530. |
6 | http://www.dcs.qmw.ac.uk/~mps/circEC.ps.Z M.P.Shanahan, A Circumscriptive Calculus of Events , Artificial Intelligence , vol 77 (1995), pages 249-284. Abstract |
| j-aij-77-249 | Murray Shanahan. A circumscriptive calculus of events. [postscript] Artificial Intelligence Journal, vol. 77 (1995), pp. 249-284. |
7 | http://laotzu.doc.ic.ac.uk/UserPages/staff/rsm/rsm.html R.S.Miller and M.P.Shanahan, Reasoning about Discontinuities in the Event Calculus , Proceedings 1996 Knowledge Representation Conference , pages 63-74. Abstract |
| j-jlc-4-513 | Rob Miller and Murray Shanahan. Narratives in the Situation Calculus. [postscript] Journal of Logic and Computation, vol. 4 (1994), pp. 513-530. |
8 | http://www-mitpress.mit.edu/mitp/recent-books/comp/shash.html M.P.Shanahan, Solving the Frame Problem , MIT Press, 1997. Contents Reasoning about Space and ShapeThere's more on this topic in my papers under the Robotics heading. |
9 | http://www-lp.doc.ic.ac.uk/_lp/Shanahan/space.ps.Z M.P.Shanahan, Default Reasoning about Spatial Occupancy , Artificial Intelligence , vol 74, no 1 (1995), pages 147-163. Abstract RoboticsThe five papers below concern the assimilation of sensor data via abduction. The ECAI paper presents the basic ideas, and the AAAI 96 paper extends them to deal with motor noise. The long paper (second in the list) combines the material of the ECAI and AAAI 96 papers, and includes some discussion of computational issues. The Common Sense 96 paper is an early presentation of the work. The AAAI 97 paper is a cleaner presentation of the earlier work, and deals with both motor and sensor noise. |
| j-aij-74-147 | Murray Shanahan. Default reasoning about spatial occupancy. [postscript] Artificial Intelligence Journal, vol. 74 (1995), pp. 147-163. |
10 | http://www.dcs.qmw.ac.uk/~mps/robotics_short.ps.Z M.P.Shanahan, Robotics and the Common Sense Informatic Situation , Working Notes of Common Sense 96, The Third Symposium on Logical Formalizations of Commonsense , pages 186-198. |
11 | http://www.dcs.qmw.ac.uk/~mps/robotics_long.ps.Z M.P.Shanahan, A Logical Account of the Common Sense Informatic Situation for a Mobile Robot . Abstract |
12 | http://www.dcs.qmw.ac.uk/~mps/roboticsECAI96.ps.Z M.P.Shanahan, Robotics and the Common Sense Informatic Situation , Proceedings ECAI 96 , pages 684-688. Abstract |
| c-ecai-96-684 | M. Shanahan. Robotics and the Common Sense Informatic Situation. [postscript] Proc. European Conference on Artificial Intelligence, 1996, pp. 684-689. |
13 | http://www.dcs.qmw.ac.uk/~mps/roboticsAAAI96.ps.Z M.P.Shanahan, Noise and the Common Sense Informatic Situation for a Mobile Robot , Proceedings AAAI 96 , pages 1098-1103. Abstract |
| c-aaai-96-1098 | M. P. Shanahan. Noise and Common Sense Informatic Situation for a Mobile Robot. [postscript] Proc. AAAI National Conference on Artificial Intelligence, 1996, pp. 1098-1103. |
14 | http://www.dcs.qmw.ac.uk/~mps/roboticsAAAI97.ps.Z M.P.Shanahan, Noise, Non-Determinism and Spatial Uncertainty , Proceedings AAAI 97 , pages 153-158. Abstract Planning |
| c-aaai-97-153 | M. P. Shanahan. Non-Determinism and Spatial Uncertainty. [postscript] Proc. AAAI National Conference on Artificial Intelligence, 1997, pp. 153-158. |
15 | http://www.dcs.qmw.ac.uk/~mps/EC_planning.ps.Z M.P.Shanahan, Event Calculus Planning Revisited , Proceedings 1997 European Conference on Plannning (ECP 97) , Springer-Verlag Lecture Notes in Artificial Intelligence no. 1348, pages 390-402. An early draft of this paper appears in the Working Notes of the AAAI 97 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control . Abstract Artificial LifeI'm no longer active in this area of research. |
| c-ecp-97-390 | M. P. Shanahan. Event Calculus Planning Revisited. [postscript] Proc. European Conference on Planning, 1997, pp. 390-402. |
16 | http://www-lp.doc.ic.ac.uk/_lp/Shanahan/evol_aut.ps.Z M.P.Shanahan, Evolutionary Automata , Proceedings A-Life IV , pages 388-393. |
17 | http://www.dcs.qmw.ac.uk/~mps/alife_learning.ps.Z M.P.Shanahan, Applying Artificial Life Techniques to a Symbolic Learning Task . You can also browse my Internet publication: BioDigital Substrate: An Experiment in Artificial Life . Philosophy of AIThe first of these papers was actually written in 1987. It was presented at the Turing 1990 conference, and wasn't published in the associated Oxford University Press volume until late 1996. |
18 | http://www-lp.doc.ic.ac.uk/_lp/Shanahan/naive_phys.ps.Z M.P.Shanahan, Folk Psychology and Naive Physics , Connectionism, Concepts and Folk Psychology: The Legacy of Alan Turing, vol. 2, , ed. A.Clark and P.J.R.Millican, Oxford University Press (1996). |
19 | http://www.dcs.qmw.ac.uk/~mps/embodiment.ps.Z M.P.Shanahan, What Sort of Computation Mediates Best between Perception and Action? Working Notes of the 1996 AAAI Fall Symposium on Embodied Cognition , pages 107-112. Abstract Reason Maintenance SystemsThis is mostly my PhD work, which was to do with applying ideas from Reason Maintenace Systems to Logic Programming. Here's the thesis (this one's a dvi file, not Postscript). |
20 | NIL M.P.Shanahan, An Incremental Theorem Prover, Proceedings IJCAI 87 , pages 987-989. |
21 | http://www-lp.doc.ic.ac.uk/_lp/Shanahan/incr.ps.Z M.P.Shanahan, Incrementality and Logic Programming , in Reason Maintenance Systems and their Applications , ed. G.Kelleher and B.Smith, Ellis Horwood (1988), pages 21-34. |
22 | NIL M.P.Shanahan and R.W Southwick, Search, Inference and Dependencies in Artificial Intelligence , Ellis Horwood, 1989. |