On-line execution of cc-Golog plans

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 12-18

  Grosskreutz, Henrik ^a   Lakemeyer, Gerhard ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT-DRIVEN; EXECUTION MODEL; HIGH LEVEL CONTROLLERS; ROBOT CONTROL ARCHITECTURE; ROBOT CONTROLLER;

ARTIFICIAL INTELLIGENCE;

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

References (17)

1. W. Burgard, A.B. Cremers, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. Experiences with an interactive museum tour-guide robot. Artificial Intelligence, 114(1-2), 2000.
2. G. de Giacomo and H.J. Levesque. An incremental interpreter for high-level programs with sensing. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pages 86-102. Springer, 1999.
3. G. De Giacomo and H. Levesque. Projection using regression and sensors. In Proc. IJCAI'99, 1999.
4. Guiseppe De Giacomo, Yves Lesperance, and Hector J Levesque. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109-169, 2000.
5. H. Grosskreutz and G. Lakemeyer. cc-golog: Towards more realistic logic-based robot controllers. In AAAI'2000, 2000.
6. H. Grosskreutz and G. Lakemeyer. Turning high-level plans into robot programs in uncertain domains. In ECAI'2000, 2000.
7. H. Grosskreutz. Probabilistic projection and belief update in the pgolog framework. In Second International Cognitive Robotics Workshop, 2000.
8. D. Hähnel, W. Burgard, and G. Lakemeyer. Golex - bridging the gap between logic (golog) and a real robot. In Proceedings of the 22st German Conference on Artificial Intelligence (KI 98), 1998.
9. Y. Lesperance and H.-K. Ng. Integrating planning into reactive high-level robot programs. In Second International Cognitive Robotics Workshop, 2000.
10. Hector J. Levesque, Raymond Reiter, Yves Lesprance, Fangzhen Lin, and Richard Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
11. Hector Levesque, Fiora Pirri, and Ray Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 3(18), 1998. URL: http://www.ep.liu.se/ea/cis/1998/018/.
12. J. McCarthy. Situations, actions and causal laws. Technical report, Stanford University.
13. Reprinted 1968 in Semantic Information Processing (M.Minske ed.), MIT Press, 1963.
14. Javier Pinto. Integrating discrete and continuous change in a logical framework. Computational Intelligence, 14(1), 1997.
15. Ray Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proc. KR'96, pages 2-13, 1996.
16. R. Reiter. Sequential, temporal golog. In Proc. KR'98, 1998.
17. R.G. Simmons, R. Goodwin, K.Z. Haigh, S. Koenig, J. O'Sullivan, and M.M. Veloso. Xavier: Experience with a layered robot architecture. ACM SIGART Bulletin Intelligence, 8 (1-4), 1997.