| 2008 |
|---|
| 34 | EE | Alexandros Bouganis,
Murray Shanahan:
Flexible object recognition in cluttered scenes using relative point distribution models.
ICPR 2008: 1-5 |
| 2007 |
|---|
| 33 | EE | Secil Ozen,
Alexandros Bouganis,
Murray Shanahan:
A fast evaluation criterion for the recognition of occluded shapes.
Robotics and Autonomous Systems 55(9): 741-749 (2007) |
| 2006 |
|---|
| 32 | | Alexandros Bouganis,
Murray Shanahan:
On Packing 2D Irregular Shapes.
ECAI 2006: 853-854 |
| 31 | | Georgios Sakellariou,
Murray Shanahan:
Leaf Classification Using Navigation-Based Skeletons.
ECAI 2006: 859-860 |
| 2005 |
|---|
| 30 | EE | Murray Shanahan:
Perception as Abduction: Turning Sensor Data Into Meaningful Representation.
Cognitive Science 29(1): 103-134 (2005) |
| 2004 |
|---|
| 29 | | Jeremy Forth,
Murray Shanahan:
Indirect and Conditional Sensing in the Event Calculus.
ECAI 2004: 900-904 |
| 28 | | Murray Shanahan,
David A. Randell:
A Logic-Based Formulation of Active Visual Perception.
KR 2004: 64-72 |
| 27 | EE | Murray Shanahan:
An attempt to formalise a non-trivial benchmark problem in common sense reasoning.
Artif. Intell. 153(1-2): 141-165 (2004) |
| 26 | EE | Murray Shanahan,
Mark Witkowski:
Event Calculus Planning Through Satisfiability.
J. Log. Comput. 14(5): 731-745 (2004) |
| 2003 |
|---|
| 25 | | Paulo Santos,
Murray Shanahan:
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring.
IJCAI 2003: 1408- |
| 2002 |
|---|
| 24 | EE | Rob Miller,
Murray Shanahan:
Some Alternative Formulations of the Event Calculus.
Computational Logic: Logic Programming and Beyond 2002: 452-490 |
| 23 | | Paulo Santos,
Murray Shanahan:
Hypothesising Object Relations from Image Transitions.
ECAI 2002: 292-296 |
| 22 | | Murray Shanahan:
A Logical Account of Perception Incorporating Feedback and Expectation.
KR 2002: 3-13 |
| 2001 |
|---|
| 21 | | David A. Randell,
Mark Witkowski,
Murray Shanahan:
From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax.
IJCAI 2001: 57-66 |
| 2000 |
|---|
| 20 | EE | Murray Shanahan,
Mark Witkowski:
High-Level Robot Control through Logic.
ATAL 2000: 104-121 |
| 19 | EE | Murray Shanahan:
Review: M. Shanahan, Solving the Frame Problem.
Artif. Intell. 123(1-2): 275 (2000) |
| 18 | | Murray Shanahan:
An abductive event calculus planner.
J. Log. Program. 44(1-3): 207-240 (2000) |
| 1999 |
|---|
| 17 | EE | Murray Shanahan,
Mark Witkowski:
Robot Navigation and Map Building with the Event Calculus (abstract).
ESCQARU 1999: 362 |
| 16 | | Murray Shanahan:
The Ramification Problem in the Event Calculus.
IJCAI 1999: 140-146 |
| 15 | EE | Murray Shanahan:
The Event Calculus Explained.
Artificial Intelligence Today 1999: 409-430 |
| 14 | EE | Rob Miller,
Murray Shanahan:
The Event Calculus in Classical Logic - Alternative Axiomatisations.
Electron. Trans. Artif. Intell. 3(A): 77-105 (1999) |
| 1998 |
|---|
| 13 | EE | Murray Shanahan:
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot.
Electron. Trans. Artif. Intell. 2: 69-104 (1998) |
| 1997 |
|---|
| 12 | | Murray Shanahan:
Noise, Non-Determinism and Spatial Uncertainty.
AAAI/IAAI 1997: 153-158 |
| 11 | | Murray Shanahan:
Event Calculus Planning Revisited.
ECP 1997: 390-402 |
| 1996 |
|---|
| 10 | | Murray Shanahan:
Noise and the Common Sense Informatic Situation for a Mobile Robot.
AAAI/IAAI, Vol. 2 1996: 1098-1103 |
| 9 | | Murray Shanahan:
Robotics and the Common Sense Informatic Situation.
ECAI 1996: 684-688 |
| 8 | | Rob Miller,
Murray Shanahan:
Reasoning about Discontinuities in the Event Calculus.
KR 1996: 63-74 |
| 1995 |
|---|
| 7 | EE | Murray Shanahan:
Default Reasoning about Spatial Occupancy.
Artif. Intell. 74(1): 147-163 (1995) |
| 6 | EE | Murray Shanahan:
A Circumscriptive Calculus of Events.
Artif. Intell. 77(2): 249-284 (1995) |
| 1994 |
|---|
| 5 | | Rob Miller,
Murray Shanahan:
Narratives in the Situation Calculus.
J. Log. Comput. 4(5): 513-530 (1994) |
| 1993 |
|---|
| 4 | | Murray Shanahan:
Explanation in the Situation Calculus.
IJCAI 1993: 160-165 |
| 1990 |
|---|
| 3 | | Murray Shanahan:
Representing Continuous Change in the Event Calculus.
ECAI 1990: 598-603 |
| 1989 |
|---|
| 2 | | Murray Shanahan:
Prediction is Deduction but Explanation is Abduction.
IJCAI 1989: 1055-1060 |
| 1987 |
|---|
| 1 | | Murray Shanahan:
An Incremental Theorem Prover.
IJCAI 1987: 987-989 |
