Publications
119 results found
Miller R, Shanahan M, 2002, Some alternative formulations of the event calculus, Computational logic: logic programming and beyond essays in honour of Robert A. Kowalski, part II, Editors: Kakas, Sadri, Publisher: Springer-Verlag, Pages: 452-490, ISBN: 9783540439608
Shanahan M, 2002, The frame problem, Macmillan encyclopedia of cognitive science, Pages: 144-150, ISBN: 9780333792612
Randell D, Witkowski M, Shanahan M, 2001, From images to bodies: modelling and exploiting spatial occlusion and motion parallax, 17th international joint conference on artificial intelligence (IJCAI 2001), August 2001, Seattle, WA, Publisher: IJCAI, Pages: 57-66
Shanahan M, 2001, Using reactive rules to guide a forward-chaining planner, Proceedings 2001 European conference on planning systems (ECP 2001)
Shanahan M, Witkowski M, 2001, High-level robot control through logic, Intelligent agents VII. Agent theories architectures and languages: 7th international workshop, ATAL 2000, Boston, MA, USA, 7 - 9 July 2000: proceedings, Publisher: Springer-Verlag, Pages: 104-121
Shanahan M, 2000, M.!Shanahan, <i>Solving the Frame Problem</i>, ARTIFICIAL INTELLIGENCE, Vol: 123, Pages: 275-275, ISSN: 0004-3702
Shanahan M, 2000, Reinventing shakey, Workshop on Logic-Based Artificial Intelligence, Publisher: KLUWER ACADEMIC PUBLISHERS, Pages: 233-253
- Author Web Link
- Cite
- Citations: 13
Shanahan MP, 2000, An Abductive Event Calculus Planner, The Journal of Logic Programming, Vol: 44, Pages: 207-239
Shanahan M, Witkowski M, 1999, Robot navigation and map building with the event calculus, ISSN: 0302-9743
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical formulae describing the agent’s relationship to its environment. Two such programs for a mobile robot are described-one for navigation and one for map building-that share much of their code.
Shanahan MP, 1999, The Ramification Problem in the Event Calculus, Proceedings IJCAI 99
Shanahan M, 1999, The Event Calculus Explained, Artificial Intelligence Today, Publisher: Springer Berlin Heidelberg, Pages: 409-430, ISBN: 9783540664284
Shanahan MP, 1999, A Logical Account of the Common Sense Informatic Situation for a Mobile Robot, Electronic Transactions on Artificial Intelligence, Vol: 2, Pages: 69-104
Shanahan MP, 1999, What Sort of Computation Mediates Best Between Perception and Action?, Papers in Honour of Ray Reiter's 60th Birthday
Miller RS, Shanahan MP, 1999, The Event Calculus in Classical Logic - Alternative Axiomatisations, Electronic Transactions on Artificial Intelligence, Vol: 3, Pages: 77-105
Shanahan MP, 1997, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia
Shanahan MP, 1997, Event Calculus Planning Revisited, Proceedings 1997 European Conference on Planning (ECP 97)
Shanahan MP, 1997, Noise, Non-Determinism and Spatial Uncertainty, Proceedings 1997 American Association for Artificial Intelligence conference (AAAI 97)
Shanahan MP, 1996, Noise and the Common Sense Informatic Situation for a Mobile Robot, Proceedings 1996 American Association for Artificial Intelligence conference (AAAI 96)
Shanahan MP, 1996, Robotics and the Common Sense Informatic Situation, Proceedings 1996 European Conference on Artificial Intelligence (ECAI 96)
Shanahan MP, Miller RS, 1996, Reasoning about Discontinuities in the Event Calculus, Proceedings 1996 Knowledge Representation conference (KR 96)
SHANAHAN M, 1995, A CIRCUMSCRIPTIVE CALCULUS OF EVENTS, ARTIFICIAL INTELLIGENCE, Vol: 77, Pages: 249-284, ISSN: 0004-3702
- Author Web Link
- Cite
- Citations: 42
SHANAHAN M, 1995, DEFAULT REASONING ABOUT SPATIAL OCCUPANCY, ARTIFICIAL INTELLIGENCE, Vol: 74, Pages: 147-163, ISSN: 0004-3702
- Author Web Link
- Cite
- Citations: 16
Miller R, Shanahan M, 1994, Narratives in the situation calculus, Journal of Logic and Computation, Vol: 4, Pages: 513-530, ISSN: 0955-792X
A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action may be broadly divided into those which are narrative-based, such as the event calculus of Kowalski and Sergot, and those which reason on the level of hypothetical sequences of actions, in particular the situation calculus. This paper bridges the gap between these types of formalism by supplying a technique for linking incomplete narrative descriptions to situation calculus domain formulae written in the usual style using a Result function. Particular attention is given to actions with duration and overlapping actions. By illuminating the relationship between these two different styles of representation, the paper moves us one step closer to a full understanding of the space of all possible formalisms for reasoning about action. © 1994 Oxford University Press.
SHANAHAN M, 1993, EXPLANATION IN THE SITUATION CALCULUS, 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Publisher: MORGAN KAUFMANN PUB INC, Pages: 160-165
Shanahan M, 1990, Representing Continuous Change in the Event Calculus., Pages: 598-603
Shanahan M, 1989, Prediction is Deduction but Explanation is Abduction., Publisher: Morgan Kaufmann, Pages: 1055-1060
Shanahan M, Southwick R, 1989, Search, inference and dependencies in artificial intelligence., Publisher: Ellis Horwood, ISBN: 978-0-7458-0488-0
Shanahan M, 1987, An Incremental Theorem Prover., Publisher: Morgan Kaufmann, Pages: 987-989
Shanahan M, Satori Before Singularity, JOURNAL OF CONSCIOUSNESS STUDIES, Vol: 19, Pages: 87-102, ISSN: 1355-8250
- Author Web Link
- Cite
- Citations: 1
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.