{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:09:31Z","timestamp":1761620971283},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424222"},{"type":"electronic","value":"9783540446316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44631-1_8","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T02:24:08Z","timestamp":1186453448000},"page":"104-121","source":"Crossref","is-referenced-by-count":9,"title":["High-Level Robot Control through Logic"],"prefix":"10.1007","author":[{"given":"Murray","family":"Shanahan","sequence":"first","affiliation":[]},{"given":"Mark","family":"Witkowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"8_CR1","unstructured":"C.Baral and S.C. Tran, Relating Theories of Actions and Reactive Control, Link\u00f6ping Electronic Articles in Computer and Information Science, vol. 3 (1998), no. 9."},{"key":"8_CR2","unstructured":"G. De Giacomo, Y. Lesp\u00e9rance, and H. Levesque, Reasoning about Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus, Proceedings 1997 International Joint Conference on Artificial Intelligence (IJCAI 97), Morgan Kaufmann, pp. 1221\u20131226."},{"key":"8_CR3","unstructured":"K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J-J.Ch. Meyer, Agent Programming with Declarative Goals, this volume."},{"key":"8_CR4","unstructured":"R.A. Kowalski, Using Meta-Logic to Reconcile Reactive with Rational Agents, in Meta-Logics and Logic Programming, ed. K.R. Apt and F. Turini, MIT Press (1995), pp. 227\u2013242."},{"key":"8_CR5","unstructured":"Y. Lesp\u00e9rance, 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 AAAI Fall Symposium, ed. B. Kuipers, New Orleans (1994), pp. 79\u201385."},{"key":"8_CR6","unstructured":"H. Levesque, What Is Planning in the Presence of Sensing? Proceedings AAAI 96, pp. 1139\u20131146."},{"key":"8_CR7","series-title":"SRI Technical Note no.","volume-title":"Shakey the Robot","year":"1984","unstructured":"N.J. Nilsson, ed., Shakey the Robot, SRI Technical Note no. 323 (1984), SRI, Menlo Park, California."},{"key":"8_CR8","unstructured":"M.P. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press (1997)."},{"key":"8_CR9","unstructured":"M.P. Shanahan, Noise, Non-Determinism and Spatial Uncertainty, Proceedings AAAI 97, pp. 153\u2013158."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"M.P. Shanahan, What Sort of Computation Mediates Best Between Perception and Action?, in Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, eds. H.J. Levesque & F. Pirri, Springer-Verlag (1999), pages 352\u2013368.","DOI":"10.1007\/978-3-642-60211-5_22"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M.P. Shanahan","year":"2000","unstructured":"M.P. Shanahan, An Abductive Event Calculus Planner, The Journal of Logic Programming, vol. 44 (2000), pp. 207\u2013239.","journal-title":"The Journal of Logic Programming"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"M.P. Shanahan, Reinventing Shakey, in Logic Based Artificial Intelligence, ed. J. Minker, Kluwer, to appear.","DOI":"10.1007\/978-1-4615-1567-8_11"},{"key":"8_CR13","unstructured":"S. Shapiro and Y. Lesp\u00e9rance, Modeling Multiagent Systems with CASL \u2014 A Feature Interaction Resolution Application, this volume."},{"key":"8_CR14","unstructured":"S. Zimmerbaum and R. Scherl, Sensing Actions, Time, and Concurrency in the Situation Calculus, this volume."}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VII Agent Theories Architectures and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44631-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:57:04Z","timestamp":1556740624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44631-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424222","9783540446316"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44631-1_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}