{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:41:44Z","timestamp":1743111704760,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060248"},{"type":"electronic","value":"9783319060255"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_21","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"569-590","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Incorporating Action Models into the Situation Calculus"],"prefix":"10.1007","author":[{"given":"Yongmei","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F Bacchus","year":"1999","unstructured":"Bacchus F, Halpern J, Levesque H (1999) Reasoning about noisy sensors in the situation calculus. Artif Intell 111:171\u2013208","journal-title":"Artif Intell"},{"issue":"2","key":"21_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag A, Moss L (2004) Logics for epistemic programs. Synthese 139(2):165\u2013224","journal-title":"Synthese"},{"key":"21_CR3","unstructured":"Baltag A, Moss LS, Solecki S (1998) The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the conference on theoretical aspects of rationality and knowledge (TARK-98)"},{"key":"21_CR4","volume-title":"Texts in logic and games","author":"A Baltag","year":"2008","unstructured":"Baltag A, Smets S (2008) A qualitative theory of dynamic interactive belief revision. In: Bonanno G, van der Hoek W, Wooldridge M (eds) Texts in logic and games, vol 3. Amsterdam University Press, Amsterdam"},{"key":"21_CR5","unstructured":"Baral C (2010) Reasoning about actions and change: from single agent actions to multi-agent actions. In: Proceedings of the international conference on principles of knowledge representation and reasoning (KR-10)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Belle V, Lakemeyer G (2010) Reasoning about imperfect information games in the epistemic situation calculus. In: Proceedings of the AAAI conference on artificial intelligence (AAAI-10).","DOI":"10.1609\/aaai.v24i1.7596"},{"issue":"1","key":"21_CR7","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1016\/j.artint.2010.04.014","volume":"175","author":"J van Benthem","year":"2011","unstructured":"van Benthem J (2011) McCarthy variations in a modal key. Artif Intell 175(1):428\u2013439","journal-title":"Artif Intell"},{"issue":"11","key":"21_CR8","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J van Benthem","year":"2006","unstructured":"van Benthem J, van Eijck J, Kooi B (2006) Newblock logics of communication and change. Inf Comput 204(11):1620\u20131662","journal-title":"Inf Comput"},{"key":"21_CR9","unstructured":"Delgrande JP, Levesque HJ (2012) Belief revision with sensing and fallibe actions. In: Proceedings of the international conference on principles of knowledge representation and reasoning (KR-12)"},{"key":"21_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H van Ditmarsch","year":"2007","unstructured":"van Ditmarsch H, van der Hoek W, Kooi B (2007) Dynamic epistemic logic. Springer, New York"},{"issue":"2","key":"21_CR11","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1093\/logcom\/exq024","volume":"21","author":"H van Ditmarsch","year":"2011","unstructured":"van Ditmarsch H, Herzig A, de Lima T (2011) From situation calculus to dynamic epistemic logic. J Logic Comput 21(2):179\u2013204","journal-title":"J Logic Comput"},{"key":"21_CR12","unstructured":"Kelly RF, Pearce AR (2008) Complex epistemic modalities in the situation calculus. In: Proceedings of the international conference on principles of knowledge representation and reasoning (KR-08)"},{"key":"21_CR13","unstructured":"Lakemeyer G, Levesque HJ (2004) Situations, si! situation terms, no! In: Proceedings of the international conference on principles of knowledge representation and reasoning (KR-04)."},{"key":"21_CR14","unstructured":"Lakemeyer G, Levesque HJ (2005) Semantics for a useful fragment of the situation calculus. In: Proceedings of the international joint conference on artificial intelligence (IJCAI-05)."},{"issue":"1\u20133","key":"21_CR15","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque HJ, Reiter R, Lesp\u00e9rance Y, Lin F, Scherl RB (1997) GOLOG: a logic programming language for dynamic domains. J Logic Progr 31(1\u20133):59\u201384","journal-title":"J Logic Progr"},{"key":"21_CR16","first-page":"463","volume":"4","author":"J McCarthy","year":"1969","unstructured":"McCarthy J, Hayes PJ (1969) Some philosophical problems from the standpoint of artificial intelligence. Mach Intell 4:463\u2013502","journal-title":"Mach Intell"},{"key":"21_CR17","unstructured":"Plaza J (1989) Logics of public communications. In: Proceedings of the 4th international symposium on methodologies for intelligent systems (ISMIS-89)"},{"key":"21_CR18","doi-asserted-by":"publisher","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 (1991) 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. Academic Press, San Diego, pp 359\u2013380"},{"key":"21_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for specifying and implementing dynamical systems","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge"},{"key":"21_CR20","unstructured":"Scherl RB, Levesque HJ (1993) The frame problem and knowledge-producing actions. In: Proceedings of the AAAI conference on artificial intelligence (AAAI-93)."},{"issue":"1\u20132","key":"21_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"RB Scherl","year":"2003","unstructured":"Scherl RB, Levesque HJ (2003) Knowledge, action, and the frame problem. Artif Intell 144(1\u20132):1\u201339","journal-title":"Artif Intell"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Shapiro S, Lesp\u00e9rance Y, Levesque HJ (1998) Specifying communicative multi-agent systems. In: Wobcke W et al. (eds) Agents and multi-agent systems\u2013formalisms, methodologies, and applications. Lecture notes in computer science, vol 1441. Springer, New York, pp 1\u201314","DOI":"10.1007\/BFb0055016"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T14:33:57Z","timestamp":1722868437000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_21","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}