{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:58Z","timestamp":1747546918164},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672005"},{"type":"electronic","value":"9783540464679"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10719619_13","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T20:02:53Z","timestamp":1167336173000},"page":"173-187","source":"Crossref","is-referenced-by-count":4,"title":["Reactivity in a Logic-Based Robot Programming Framework"],"prefix":"10.1007","author":[{"given":"Yves","family":"Lesp\u00e9rance","sequence":"first","affiliation":[]},{"given":"Kenneth","family":"Tam","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Jenkin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/10719619_14","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"C. Baral","year":"2000","unstructured":"Baral, C., Son, T.C.: Extending ConGolog to allow partial ordering. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol.\u00a01757, pp. 188\u2013204. Springer, Heidelberg (2000)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M.E. Bratman","year":"1988","unstructured":"Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and ressource-bounded practical reasoning. Computational Intelligence\u00a04, 349\u2013355 (1988)","journal-title":"Computational Intelligence"},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","volume":"2","author":"R.A. Brooks","year":"1986","unstructured":"Brooks, R.A.: A robust layered control system for a mobile robot. IEEE Journal on Robotics and Automation\u00a02(1), 14\u201323 (1986)","journal-title":"IEEE Journal on Robotics and Automation"},{"key":"13_CR4","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, August 1997, pp. 1221\u20131226 (1997)"},{"key":"13_CR5","unstructured":"De Giacomo, G., Levesque, H.J.: An incremental interpreter for high-level programs with sensing. In: Cognitive Robotics\u2014Papers from the 1998 AAAI Fall Symposium, Orlando, FL, pp. 28\u201334. AAAI Press, Menlo Park (1998) AAAI Tech. Report FS-98-02"},{"key":"13_CR6","unstructured":"De Giacomo, G., Reiter, R., Soutchanski, M.E.: Execution monitoring of high-level robot programs. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR 1998), Trento, Italy, June 1998, pp. 453\u2013464 (1998)"},{"key":"13_CR7","unstructured":"James Firby, R.: An investigation into reactive planning in complex domains. In: Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, WA, July 1987, pp. 202\u2013206 (1987)"},{"key":"13_CR8","unstructured":"Gat, E.: Integrating planning and reacting in a heterogenous asynchronous architecture for controlling real-world mobile robots. In: Proceedings of the Tenth National Conference on Artificial Intelligence, San Jose, CA, July 1992, pp. 809\u2013815 (1992)"},{"key":"13_CR9","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"K.V. Hindriks","year":"1998","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A formal semantics for an abstract agent programming language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol.\u00a01365, pp. 215\u2013229. Springer, Heidelberg (1998)"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031(59\u201384) (1997)","journal-title":"Journal of Logic Programming"},{"key":"13_CR11","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1979","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1979)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0921-8890(98)00032-3","volume":"25","author":"B. Nickerson","year":"1998","unstructured":"Nickerson, B., Jasiobedzki, P., Wilkes, D., Jenkin, M., Milios, E., Tsotsos, J., Jepson, A., Bains, O.N.: The ARK project: Autonomous mobile robots for known industrial environments. Robotics and Autonomous Systems\u00a025, 83\u2013104 (1998)","journal-title":"Robotics and Autonomous Systems"},{"key":"13_CR13","first-page":"439","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference","author":"A.S. Rao","year":"1992","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Nebel, B., Rich, C., Swartout, W. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, Cambridge, MA, pp. 439\u2013449. Morgan Kaufmann Publishing, San Francisco (1992)"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The frame problem in the situation calculus:A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359\u2013380. Academic Press, San Diego (1991)"},{"key":"13_CR15","unstructured":"Reiter, R.: Knowledge in action: Logical foundations for describing and implementing dynamical systems. Draft Monograph (1999), available at \n                    \n                      http:\/\/www.cs.toronto.edu\/~cogrobo"},{"key":"13_CR16","unstructured":"Robinson, M., Jenkin, M.: Reactive low level control of the ARK. In: Proceedings, Vision Interface 1994, Banff, AB, May 1994, pp. 41\u201347 (1994)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(94)00056-7","volume":"73","author":"S.J. Rosenschein","year":"1995","unstructured":"Rosenschein, S.J., Kaelbling, L.P.: A situated view of representation and control. Artificial Intelligence\u00a073, 149\u2013173 (1995)","journal-title":"Artificial Intelligence"},{"key":"13_CR18","unstructured":"Schoppers, M.J.: Universal plans for reactive robots in unpredictable environments. In: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 1039\u20131046 (1987)"},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Tam, K., Lloyd, J., Lesp\u00e9rance, Y., Levesque, H., Lin, F., Marcu, D., Reiter, R., Jenkin, M.: Controlling autonomous robots with GOLOG. In: Proceedings of the Tenth Australian Joint Conference on Artificial Intelligence (AI 1997), Perth, Australia, November 1997, pp. 1\u201312 (1997)","DOI":"10.1007\/3-540-63797-4_53"},{"key":"13_CR21","unstructured":"Tam, K.: Experiments in high-level robot control using ConGolog\u2014reactivity, failure handling, and knowledge-based search. Master\u2019s thesis, Dept. of Computer Science, York University (1998)"},{"key":"13_CR22","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/10719619_16","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"R.M. Eijk van","year":"2000","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Open multi-agent systems: Agent communication and integration. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol.\u00a01757, pp. 218\u2013232. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VI. Agent Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10719619_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T23:23:58Z","timestamp":1552865038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10719619_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672005","9783540464679"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/10719619_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}