{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T21:26:55Z","timestamp":1755034015401},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042379"},{"type":"electronic","value":"9783642042386"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04238-6_29","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T08:23:01Z","timestamp":1251706981000},"page":"342-354","source":"Crossref","is-referenced-by-count":14,"title":["Bridging the Gap between High-Level Reasoning and Low-Level Control"],"prefix":"10.1007","author":[{"given":"Ozan","family":"Caldiran","sequence":"first","affiliation":[]},{"given":"Kadir","family":"Haspalamutgil","sequence":"additional","affiliation":[]},{"given":"Abdullah","family":"Ok","sequence":"additional","affiliation":[]},{"given":"Can","family":"Palaz","sequence":"additional","affiliation":[]},{"given":"Esra","family":"Erdem","sequence":"additional","affiliation":[]},{"given":"Volkan","family":"Patoglu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","volume-title":"Handbook of Knowledge Representation","author":"H. Levesque","year":"2007","unstructured":"Levesque, H., Lakemeyer, G.: Cognitive robotics. In: Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)"},{"key":"29_CR2","unstructured":"Levesque, H.J., Pagnucco, M.: Legolog: Inexpensive experiments in cognitive robotics. In: Proc. of CogRob, pp. 104\u2013109 (2000)"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Levesque, H.J., Reiter, R., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. JLP\u00a031 (1997)","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, actions, and causal laws. Technical report, Stanford University (1963)","DOI":"10.21236\/AD0785031"},{"key":"29_CR5","first-page":"159","volume":"2","author":"H.J. Levesque","year":"1998","unstructured":"Levesque, H.J., Pirri, F., Reiter, R.: Foundations for the situation calculus. ETAI\u00a02, 159\u2013178 (1998)","journal-title":"ETAI"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0095437","volume-title":"KI-98: Advances in Artificial Intelligence","author":"D. H\u00e4hnel","year":"1998","unstructured":"H\u00e4hnel, D., Burgard, W., Lakemeyer, G.: GOLEX - bridging the gap between logic (GOLOG) and a real robot. In: Herzog, O. (ed.) KI 1998. LNCS, vol.\u00a01504, pp. 165\u2013176. Springer, Heidelberg (1998)"},{"key":"29_CR7","unstructured":"Ferrein, A., Fritz, C., Lakemeyer, G.: Using GOLOG for deliberation and team coordination in robotic soccer. K\u00fcnstliche Intelligenz 1 (2005)"},{"key":"29_CR8","first-page":"273","volume":"2","author":"P. Doherty","year":"1998","unstructured":"Doherty, P., Gustafsson, J., Karlsson, L., Kvarnstr\u00f6m, J.: Tal: Temporal action logics language specification and tutorial. ETAI\u00a02, 273\u2013306 (1998)","journal-title":"ETAI"},{"key":"29_CR9","volume-title":"Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems","author":"E. Sandewall","year":"1994","unstructured":"Sandewall, E.: Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford (1994)"},{"key":"29_CR10","first-page":"307","volume":"2","author":"E. Sandewall","year":"1998","unstructured":"Sandewall, E.: Cognitive robotics logic and its metatheory: Features and fluents revisited. ETAI\u00a02, 307\u2013329 (1998)","journal-title":"ETAI"},{"key":"29_CR11","unstructured":"Doherty, P., Granlund, G., Kuchcinski, K., Sandewall, E., Nordberg, K., Skarman, E., Wiklund, J.: The WITAS unmanned aerial vehicle project. In: Proc. of ECAI, pp. 747\u2013755 (2000)"},{"key":"29_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-44631-1_8","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"M. Shanahan","year":"2001","unstructured":"Shanahan, M., Witkowski, M.: High-level robot control through logic. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 104\u2013121. Springer, Heidelberg (2001)"},{"issue":"1","key":"29_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput.\u00a04(1), 67\u201395 (1986)","journal-title":"New Gen. Comput."},{"issue":"A","key":"29_CR14","first-page":"77","volume":"3","author":"R. Miller","year":"1999","unstructured":"Miller, R., Shanahan, M.: The event calculus in classical logic - alternative axiomatisations. ETAI\u00a03(A), 77\u2013105 (1999)","journal-title":"ETAI"},{"issue":"4-5","key":"29_CR15","first-page":"533","volume":"5","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: FLUX: A logic programming method for reasoning agents. TPLP\u00a05(4-5), 533\u2013565 (2005)","journal-title":"TPLP"},{"key":"29_CR16","first-page":"179","volume":"2","author":"M. Thielscher","year":"1998","unstructured":"Thielscher, M.: Introduction to the fluent calculus. ETAI\u00a02, 179\u2013192 (1998)","journal-title":"ETAI"},{"key":"29_CR17","unstructured":"Fichtner, M., Gro\u00dfmann, A., Thielscher, M.: Intelligent execution monitoring in dynamic environments. In: Proc. of Workshop on Issues in Designing Physical Agents for Dynamic Real-Time Environments: World modeling, planning, learning, and communicating, Acapulco, Mexico (2003)"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Giunchiglia, E., Lifschitz, J.L.V.: Nonmonotonic causal theories. AIJ\u00a0153 (2004)","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"29_CR19","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. ETAI\u00a02, 193\u2013210 (1998)","journal-title":"ETAI"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04238-6_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T08:36:38Z","timestamp":1558514198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}