{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T04:08:55Z","timestamp":1750392535345,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031939297","type":"print"},{"value":"9783031939303","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-93930-3_6","type":"book-chapter","created":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:26:09Z","timestamp":1750346769000},"page":"93-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Logic of\u00a0Actual Cause for\u00a0Nondeterministic Domains"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1130-7097","authenticated-orcid":false,"given":"Maryam","family":"Rostamigiv","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0140-3584","authenticated-orcid":false,"given":"Shakil M.","family":"Khan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1625-0226","authenticated-orcid":false,"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3731-9073","authenticated-orcid":false,"given":"Mriana","family":"Yadkoo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,20]]},"reference":[{"key":"6_CR1","unstructured":"Batusov, V., Soutchanski, M.: Situation calculus semantics for actual causality. In: Gordon, A.S., Miller, R., Tur\u00e1n, G. (eds.) Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, 6\u20138 November 2017. CEUR Workshop Proceedings, vol.\u00a02052. CEUR-WS.org (2017)"},{"key":"6_CR2","unstructured":"Batusov, V., Soutchanski, M.: Situation calculus semantics for actual causality. In: McIlraith, S.A., Weinberger, K.Q. (eds.) Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th Innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, 2\u20137 February 2018, pp. 1744\u20131752. AAAI Press (2018)"},{"key":"6_CR3","unstructured":"Beckers, S.: Nondeterministic causal models. CoRR abs\/2405.14001 (2024)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y.: The nondeterministic situation calculus. In: Bienvenu, M., Lakemeyer, G., Erdem, E. (eds.) Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, 3\u201312 February 2021, pp. 216\u2013226 (2021)","DOI":"10.24963\/kr.2021\/21"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0004-3702(02)00271-0","volume":"142","author":"T Eiter","year":"2002","unstructured":"Eiter, T., Lukasiewicz, T.: Complexity results for structure-based causality. Artif. Intell. 142(1), 53\u201389 (2002)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"6_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"GD Giacomo","year":"2000","unstructured":"Giacomo, G.D., Lesp\u00e9rance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1\u20132), 109\u2013169 (2000)","journal-title":"Artif. Intell."},{"key":"6_CR7","unstructured":"Giacomo, G.D., Lesp\u00e9rance, Y., Pearce, A.R.: Synchronous games in the situation calculus. In: Weiss, G., Yolum, P., Bordini, R.H., Elkind, E. (eds.) Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, 4\u20138 May 2015, pp. 1675\u20131676. ACM (2015)"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11229-009-9497-9","volume":"175","author":"C Glymour","year":"2010","unstructured":"Glymour, C., et al.: Actual causation: a stone soup essay. Synthese 175(2), 169\u2013192 (2010)","journal-title":"Synthese"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1613\/jair.648","volume":"12","author":"JY Halpern","year":"2000","unstructured":"Halpern, J.Y.: Axiomatizing causal reasoning. J. Artif. Intell. Res. 12, 317\u2013337 (2000). https:\/\/doi.org\/10.1613\/jair.648","journal-title":"J. Artif. Intell. Res."},{"key":"6_CR10","unstructured":"Halpern, J.Y.: A modification of the halpern-pearl definition of causality. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25\u201331 July 2015, pp. 3022\u20133033. AAAI Press (2015). http:\/\/ijcai.org\/Abstract\/15\/427"},{"key":"6_CR11","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10809.001.0001","volume-title":"Actual Causality","author":"JY Halpern","year":"2016","unstructured":"Halpern, J.Y.: Actual Causality. MIT Press, Cambridge (2016)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part I: Causes. Br. J. Philos. Sci. 56(4), 843\u2013887 (2005)","DOI":"10.1093\/bjps\/axi147"},{"key":"6_CR13","unstructured":"Hopkins, M.: The actual cause: from intuition to automation. Ph.D. thesis, University of California Los Angeles (2005)"},{"issue":"5","key":"6_CR14","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1093\/logcom\/exm048","volume":"17","author":"M Hopkins","year":"2007","unstructured":"Hopkins, M., Pearl, J.: Causality and counterfactuals in the situation calculus. J. Log. Comput. 17(5), 939\u2013953 (2007)","journal-title":"J. Log. Comput."},{"key":"6_CR15","unstructured":"Khan, S.M., Lesp\u00e9rance, Y.: Knowing why - on the dynamics of knowledge about actual causes in the situation calculus. In: Dignum, F., Lomuscio, A., Endriss, U., Now\u00e9, A. (eds.) AAMAS 2021: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, 3\u20137 May 2021, pp. 701\u2013709. ACM (2021)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Khan, S.M., Lesp\u00e9rance, Y., Rostamigiv, M.: Reasoning about actual causes in nondeterministic domains. In: Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025, Philadelphia, Pennsylvania, USA, 25 February\u20134 March 2025. AAAI Press (2025)","DOI":"10.1609\/aaai.v39i14.33647"},{"key":"6_CR17","unstructured":"Khan, S.M., Rostamigiv, M.: On explaining agent behaviour via root cause analysis: a formal account grounded in theory of mind. In: Gal, K., Now\u00e9, A., Nalepa, G.J., Fairstein, R., Radulescu, R. (eds.) ECAI 2023 - 26th European Conference on Artificial Intelligence, Krak\u00f3w, Poland, 30 September\u20134 October 2023. Frontiers in Artificial Intelligence and Applications, vol.\u00a0372, pp. 1239\u20131247. IOS Press (2023)"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Khan, S.M., Soutchanski, M.: Necessary and sufficient conditions for actual root causes. In: Giacomo, G.D., et al. (eds.) ECAI 2020 - 24th European Conference on Artificial Intelligence, Santiago de Compostela, Spain, 29 August\u20138 September 2020. Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Frontiers in Artificial Intelligence and Applications, vol.\u00a0325, pp. 800\u2013808. IOS Press (2020). https:\/\/doi.org\/10.3233\/FAIA200169","DOI":"10.3233\/FAIA200169"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-35873-9_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F Leitner-Fischer","year":"2013","unstructured":"Leitner-Fischer, F., Leue, S.: Causality checking for complex system models. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 248\u2013267. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_16"},{"key":"6_CR20","first-page":"159","volume":"2","author":"HJ Levesque","year":"1998","unstructured":"Levesque, H.J., Pirri, F., Reiter, R.: Foundations for the situation calculus. Electron. Trans. Artif. Intell. (ETAI) 2, 159\u2013178 (1998)","journal-title":"Electron. Trans. Artif. Intell. (ETAI)"},{"key":"6_CR21","first-page":"463","volume":"4","author":"J McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Mach. Intell. 4, 463\u2013502 (1969)","journal-title":"Mach. Intell."},{"key":"6_CR22","unstructured":"Pearl, J.: On the definition of actual cause. Technical report. R-259, University of California Los Angeles (1998)"},{"key":"6_CR23","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press, Cambridge (2000)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"issue":"4","key":"6_CR25","doi-asserted-by":"publisher","first-page":"1453","DOI":"10.1007\/s00146-022-01607-8","volume":"38","author":"V Yazdanpanah","year":"2023","unstructured":"Yazdanpanah, V., et al.: Reasoning about responsibility in autonomous systems: challenges and opportunities. AI Soc. 38(4), 1453\u20131464 (2023)","journal-title":"AI Soc."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-93930-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:26:21Z","timestamp":1750346781000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-93930-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031939297","9783031939303"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-93930-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"20 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EUMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eumas2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/euramas.github.io\/eumas2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}