Reinventing Shakey

AAAI Fall Symposium - Technical Report

Volumn FS-98-02, Issue , 1998, Pages 125-135

  Shanahan, Murray ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM INTERPRETERS; ROBOT PROGRAMMING;

ABDUCTIVE LOGIC PROGRAMMING; LOGICAL CHARACTERIZATION; PLANNING PROCESS;

LOGIC PROGRAMMING;

EID: 85169822607     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. R.A.Brooks, Intelligence WithoutReason, Proceedings IJCA191, pages 569-595.
2. K.Eshghi, Abductive Planning with Event Calculus, Proceedings of the Fifth International Conference on Logic Programming(1988), pp. 562-579.
3. C.Green, Applications of TheoremProving to Problem Solving, Proceedings IJCA169, pp. 219-240.
4. R.A.Kowalski, Using Meta-Logic to Reconcile Reactive with Radonal Agents, in Meta-Logics and Logic Programming, ed. K.R.Apt and F.Turini, MIT Press (1995), pp. 227-242.
5. Y.Lesp6rance, H.J.Levesque, F.Lin, D.Marcu, R.Reiter, and R.B.Scherl, A Logical Approach to High-Level Robot Programming: A Progress Report, in Control of the Physical World by Intelligent Systems: Papers from the 1994 AAAIFall Symposium.ed. B.Kuipers, NewOrleans (1994), pp. 79-85.
6. H.Levesque, R.Reiter, Y.Lesp6rance, F.Lin and R.B.Scherl, GOLOG: A Logic Programming Language for Dynamic Domains, The Journal of Logic Programming, vol. 31 (1997), pp. 59-83.
7. N.J.Nilsson, ed., Shakeythe Robot, SRI Technical Note no. 323 (1984), SRI, Menlo Park, California.
8. J.S.Penberthy and D.S.Weld, UCPOP: A Sound, Complete, Partial Order Planner for ADL, Proceedings KR92, pp. 103-114.
9. M.P.Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MITPress (1997).
10. M.P.Shanahan, Noise, Non-Determinismand Spatial Uncertainty, Proceedings AAAI 97, pp. 153-158.
11. M.P.Shanahan, Event Calculus Planning Revisited, Proceedings 4th European Conference on Planning (ECP97), Springer Lecture Notesin Artificial Intelligence no. 1348(1997), pp. 390-402.