{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T10:58:59Z","timestamp":1775818739899,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540650805","type":"print"},{"value":"9783540496564","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0095437","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T09:28:18Z","timestamp":1164360498000},"page":"165-176","source":"Crossref","is-referenced-by-count":20,"title":["GOLEX\u2014Bridging the Gap between Logic (GOLOG) and a real robot"],"prefix":"10.1007","author":[{"given":"Dirk","family":"H\u00e4hnel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Burgard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Lakemeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"key":"15_CR1","unstructured":"M. Beetz and D. McDermott. Improving robot plans during their execution. In Kris Hammond, editor, Second International Conference on AI Planning Systems, pages 3\u201312, Morgan Kaufmann, 1994."},{"key":"15_CR2","unstructured":"W. Bibel. Let\u2019s plan it deductively. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, volume 2, pages 1549\u20131562, August 1997."},{"issue":"2","key":"15_CR3","first-page":"31","volume":"16","author":"J. Buhmann","year":"1995","unstructured":"J. Buhmann, W. Burgard, A.B. Cremers, D. Fox, T. Hofmann, F. Schneider, J. Strikos, and S. Thrun. The mobile robot RHINO. AI Magazine, 16(2):31\u201338, Summer 1995.","journal-title":"AI Magazine"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"W. Burgard, Armin B. Cremers, D. Fox, D. H\u00e4hnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. The interactive museum tour-guide robot. In Proc. of the Sixteenth National Conference on Artificial Intelligence (AAAI-98), 1998. To appear.","DOI":"10.1007\/978-3-642-60043-2_29"},{"key":"15_CR5","unstructured":"W. Burgard, D. Fox, D. Hennig, and T. Schmidt. Estimating the absolute position of a mobile robot using position probability grids. In Proc. of the Fourteenth National Conference on Artificial Intelligence, pages 896\u2013901, 1996."},{"key":"15_CR6","unstructured":"J. G. Carbonell, C. A. Knoblock, and S. Minton. Prodigy: An integrated architecture for planning and learning. In K. Van Lehn, editor, Architectures for Intelligence. Erlbaum, 1990."},{"key":"15_CR7","volume-title":"TCX. An interprocess communication system for building robotic architectures. Programmer\u2019s guide to version 10.xx","author":"C. Fedor","year":"1993","unstructured":"C. Fedor. TCX. An interprocess communication system for building robotic architectures. Programmer\u2019s guide to version 10.xx Carnegie Mellon University, Pittsburgh, PA 15213, 12 1993."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"D. Fox, W. Burgard, and S. Thrun. The dynamic window approach to collision avoidance. IEEE Robotics and Automation Magazine, 1997.","DOI":"10.1109\/100.580977"},{"key":"15_CR9","unstructured":"G. de Giacamo, Y. Lesp\u00e9rance, and H. J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, volume 2, pages 1221\u20131226, 1997."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"G. de Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. Technical report, University of Toronto, 1998.","DOI":"10.1007\/978-3-642-60211-5_8"},{"key":"15_CR11","unstructured":"G. de Giacomo, R. Reiter, and M. M. Soutchanski. Execution monitoring of high-level robot programs. In Proceedings of the Sixth International Conference on Knowledge Representation (KR 98), 1998. To appear."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"K. Z. Haigh and M. M. Veloso. High-level planning and low-level execution: towards a complete robotic agent. In Proceedings of the First International Conference on Autonomous Agents, Marina del Rey, CA, February 1997.","DOI":"10.1145\/267658.267741"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"K. Konolige. Colbert: A language for reactive control in saphira. In KI-97: Advances in Artificial Intelligence, pages 31\u201352. LNAI Series, Springer Verlag, 1997.","DOI":"10.1007\/3540634932_2"},{"key":"15_CR14","volume-title":"On sensing and off-line interpreting in golog","author":"G. Lakemeyer","year":"1998","unstructured":"G. Lakemeyer. On sensing and off-line interpreting in golog. Technical report, RWTH Aachen, 1998."},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"H.J. Levesque, R. Reiter, Y. Lesp\u00e9rance, F. Lin, and R. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59\u201384, 1997.","journal-title":"Journal of Logic Programming"},{"key":"15_CR16","first-page":"665","volume":"4","author":"F. Lin","year":"1994","unstructured":"F. Lin and R. Reiter. State constraints revisited. Journal of Logic and Computation, special issue on actions and processes, 4:665\u2013678, 1994.","journal-title":"Journal of Logic and Computation, special issue on actions and processes"},{"key":"15_CR17","unstructured":"J. McCarthy. Situations, actions and causal laws. In Semantic Information Processing, pages 410\u2013417. MIT Press, 1968."},{"key":"15_CR18","unstructured":"Nils J. Nilsson. SHAKEY the robot. Technical report, SRI International, 1984."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifshitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 359\u2013380. Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"15_CR20","unstructured":"R. Reiter. Sequential, temporal golog. In Proceedings of the Sixth International Conference on Knowledge Representation (KR 98), 1998. To appear."},{"key":"15_CR21","volume-title":"AI-based Mobile Robots: Case studies of successful robot systems","author":"S. Thrun","year":"1998","unstructured":"S. Thrun, A. B\u00fccken, W. Burgard, D. Fox, T. Fr\u00f6hlinghaus, D. Hennig, T. Hofmann, M. Krell, and T. Schimdt. Map learning and high-speed navigation in RHINO. In D. Kortenkamp, R.P. Bonasso, and R. Murphy editors, AI-based Mobile Robots: Case studies of successful robot systems. MIT Press, Cambridge, MA, 1998."}],"container-title":["Lecture Notes in Computer Science","KI-98: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T10:54:33Z","timestamp":1555930473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650805","9783540496564"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0095437","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}