{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:36Z","timestamp":1725488496207},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_3","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T02:24:08Z","timestamp":1186453448000},"page":"31-45","source":"Crossref","is-referenced-by-count":4,"title":["Sensing Actions, Time, and Concurrency in the Situation Calculus"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Zimmerbaum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Scherl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"3_CR1","first-page":"167","volume-title":"Automated Reasoning: Essays in Honor ofWoody Bledsoe","author":"M. Gelfond","year":"1996","unstructured":"M. Gelfond, V. Lifschitz, and A. Rabinov. What are the limitations of the situation calculus? In Automated Reasoning: Essays in Honor ofWoody Bledsoe, pages 167\u2013179. KluwerAcademic Publishers, Dordrecht, 1996."},{"key":"3_CR2","unstructured":"G. De Giacomo, Y. Lesp\u00e9rance, and H. J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogeneous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, 1997."},{"key":"3_CR3","unstructured":"G. Lakemeyer and H.J. Levesque. AOL: A logic of acting, sensing, knowing and onlyknowing. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pages 316\u2013327. Morgan Kaufmann Publishing, 1998."},{"issue":"1\u20132","key":"3_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(94)00010-X","volume":"73","author":"Y. Lesp\u00e9rance","year":"1995","unstructured":"Yves Lesp\u00e9rance and Hector Levesque. Indexical knowledge and robot action\u2014a logical account. Artificial Intelligence, 73(1\u20132):69\u2013115, February 1995.","journal-title":"Artificial Intelligence"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Yves Lesp\u00e9rance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl. Ability and knowing how in the situation calculus. Studia Logica, 2000. To appear.","DOI":"10.1023\/A:1026761331498"},{"key":"3_CR6","unstructured":"Hector Levesque. What is planning in the presence of sensing? In AAAI-96, 1996."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Hector Levesque, Raymond Reiter, Yves Lesp\u00e9rance, Fangzhen Lin, and Richard B. Scherl. Golog:A logic programming language for dynamic domains. Journal of Logic Programming, 1997.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"issue":"5","key":"3_CR8","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655\u2013678, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"3_CR9","first-page":"463","volume-title":"Machine Intelligence","author":"J. Carthy Mc","year":"1969","unstructured":"J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463\u2013502. Edinburgh University Press, Edinburgh, UK, 1969."},{"key":"3_CR10","unstructured":"Sheila McIlraith and Richard B. Scherl. What sensing tells us: Towards a formal theory of testing for dynamical systems. In Proceedings, Seventeenth National Conference on Artificial Intelligence, pages 483\u2013490, 2000."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Sheila A. McIlraith. Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artificial Intelligence, pages 87\u2013121, January 2000.","DOI":"10.1016\/S0004-3702(99)00087-9"},{"key":"3_CR12","unstructured":"SheilaAnn McIlraith. Towards a Formal Account of Diagnostic Problem Solving. PhD thesis, University of Toronto, 1997."},{"key":"3_CR13","unstructured":"R.C. Moore. Reasoning about knowledge and action. Technical Note 191, SRI International, October 1980."},{"key":"3_CR14","unstructured":"J.A. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, 1994. Available as technical report KRR-TR-94-1."},{"key":"3_CR15","unstructured":"Javier A. Pinto. Concurrent actions and interacting effects. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pages 292\u2013303. Morgan Kaufmann Publishing, 1998."},{"key":"3_CR16","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":"Raymond Reiter. The frame problem in the situation calculus:A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, San Diego, CA, 1991."},{"key":"3_CR17","unstructured":"Raymond Reiter. Natural actions, concurrency and continuous time in the situation calculus. In L.C. Aiello, J. Doyle, and S.C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201996), pages 2\u201313, San Francisco, CA, 1996. Morgan Kaufmann Publishing. au]18._Raymond Reiter. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Unpublished book draft, 1999."},{"key":"3_CR18","unstructured":"Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge producing actions. In Proceedings, Eleventh National Conference on Artificial Int elligence, pages 689\u2013695, 1993."},{"issue":"2","key":"3_CR19","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"Murray Shanahan","year":"1995","unstructured":"Murray Shanahan. A circumscriptive calculus of events. Artificial Intelligence, 77(2):249\u2013284, September 1995.","journal-title":"Artificial Intelligence"},{"key":"3_CR20","unstructured":"Murray Shanahan and Mark Witkowski. High-level robot control through logic. In C. Castelfranchi and Y. Lesp\u00e9rance, editors, Intelligent Agents VII. Agent Theories, Architectures, and Languages \u2014 7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7\u20139, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. In this volume."},{"key":"3_CR21","unstructured":"Steven Shapiro and Yves Lesp\u00e9rance. Modeling multiagent systems with CASL\u2014a feature interaction resolution application. In C. Castelfranchi and Y. Lesp\u00e9rance, editors, Intelligent Agents VII. Agent Theories, Architectures, and Languages \u2014 7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7\u20139, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. In this volume."},{"key":"3_CR22","unstructured":"Stephen Zimmerbaum and Richard Scherl. Reasoning about knowledge, time, and concurrency in the situation calculus. In ECAI Workshop Notes: Cognitive Robotics, pages 86\u201395, 2000."}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:56:59Z","timestamp":1556740619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44631-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424222","9783540446316"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44631-1_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}