{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T09:42:46Z","timestamp":1759398166634,"version":"build-2065373602"},"publisher-location":"Singapore","reference-count":27,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819524808","type":"print"},{"value":"9789819524815","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T00:00:00Z","timestamp":1759449600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T00:00:00Z","timestamp":1759449600000},"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":[[2026]]},"DOI":"10.1007\/978-981-95-2481-5_4","type":"book-chapter","created":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T09:07:08Z","timestamp":1759396028000},"page":"51-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Causal Kripke Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6447-6479","authenticated-orcid":false,"given":"Yiwen","family":"Ding","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3664-7757","authenticated-orcid":false,"given":"Krishna","family":"Manoorkar","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6228-4198","authenticated-orcid":false,"given":"Apostolos","family":"Tzimoulis","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3995-3225","authenticated-orcid":false,"given":"Ruoding","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,3]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Barbero, F.: On the logic of interventionist counterfactuals under indeterministic causal laws. In: International Symposium on Foundations of Information and Knowledge Systems, pp. 203\u2013221. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-56940-1_11","DOI":"10.1007\/978-3-031-56940-1_11"},{"key":"4_CR2","unstructured":"Beckers, S.: Causal explanations and XAI. In: Conference on Causal Learning and Reasoning, pp. 90\u2013109. PMLR (2022)"},{"key":"4_CR3","unstructured":"Beckers, S.: Nondeterministic causal models. arXiv:2405.14001 (2024)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s10703-011-0132-2","volume":"40","author":"I Beer","year":"2012","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40, 20\u201340 (2012)","journal-title":"Formal Methods Syst. Des."},{"key":"4_CR5","unstructured":"Bergstein, B.: What AI still can\u2019t do. MIT Technol. Rev. 123(2), 1\u20137 (2020). https:\/\/www.technologyreview.com\/2020\/02\/19\/868178\/what-ai-still-cant-do\/"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Chockler, H., Halpern, J.Y., Kupferman, O.: What causes a system to satisfy a specification? ACM Trans. Comput. Logic (TOCL) 9(3), 1\u201326 (2008)","DOI":"10.1145\/1352582.1352588"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Datta, A., Garg, D., Kaynar, D., Sharma, D., Sinha, A.: Program actions as actual causes: a building block for accountability. In: 2015 IEEE 28th Computer Security Foundations Symposium, pp. 261\u2013275 (2015)","DOI":"10.1109\/CSF.2015.25"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Ding, Y., Manoorkar, K., Tzimoulis, A., Wang, R., Wang, X.: Causal kripke models. In: Verbrugge, R. (ed.) Proceedings 19th Conference on Theoretical Aspects of Rationality and Knowledge, Oxford, United Kingdom, 28\u201330th June 2023, volume 379 of Electronic Proceedings in Theoretical Computer Science, pp. 185\u2013200. Open Publishing Association (2023)","DOI":"10.4204\/EPTCS.379.16"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Dubois, D., Prade, H.: A Glance at Causality Theories for Artificial Intelligence, pp. 275\u2013305. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-06164-7_9","DOI":"10.1007\/978-3-030-06164-7_9"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87(1), 78\u2013128 (1990). Special Issue: Selections from 1988 IEEE Symposium on Logic in Computer Science","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"4_CR11","unstructured":"Falcon, A.: Aristotle on causality. In: Stanford Encyclopedia of Philosophy (2008). https:\/\/plato.stanford.edu\/entries\/aristotle-causality\/"},{"key":"4_CR12","unstructured":"Fenton-Glynn, L.: A proposed probabilistic extension of the Halpern and Pearl definition of \u2018actual cause\u2019. Br. J. Philos. Sci. 0, 1\u201364 (2017)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Glymour, C., Wimberly, F.: Actual causes and thought experiments. In: Causation and Explanation. The MIT Press (2007)","DOI":"10.7551\/mitpress\/1753.003.0005"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11098-006-9057-9","volume":"132","author":"N Hall","year":"2007","unstructured":"Hall, N.: Structural equations and causation. Philos. Stud. 132, 109\u2013136 (2007)","journal-title":"Philos. Stud."},{"key":"4_CR15","unstructured":"Halpern, J.Y.: A modification of the Halpern-Pearl definition of causality. In: Proceedings of the 24th International Conference on Artificial Intelligence, IJCAI 2015, pp. 3022\u20133033. AAAI Press (2015)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y.: Actual Causality. The MIT Press, USA (2016)","DOI":"10.7551\/mitpress\/10809.001.0001"},{"key":"4_CR17","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, 843\u2013847 (2005)","DOI":"10.1093\/bjps\/axi147"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part II: Explanations. Br. J. Philos. Sci. 56, 889-991 (2005)","DOI":"10.1093\/bjps\/axi148"},{"key":"4_CR19","volume-title":"An Enquiry Concerning Human Understanding (Edited by Peter Millican)","author":"D Hume","year":"2020","unstructured":"Hume, D.: An Enquiry Concerning Human Understanding (Edited by Peter Millican). Oxford University Press, New York (2020)"},{"key":"4_CR20","unstructured":"Ibrahim, A., Klesel, T., Zibaei, E., Kacianka, S., Pretschner, A.: Actual causality canvas: a general framework for explanation-based socio-technical constructs. In: ECAI 2020, pp. 2978\u20132985. IOS Press (2020)"},{"issue":"17","key":"4_CR21","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Causation. J. Philos. 70(17), 556\u2013567 (1973)","journal-title":"J. Philos."},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"182","DOI":"10.2307\/2678389","volume":"97","author":"D Lewis","year":"2004","unstructured":"Lewis, D.: Causation as influence. J. Philos. 97(4), 182\u2013197 (2004)","journal-title":"J. Philos."},{"key":"4_CR23","unstructured":"Meliou, A., Gatterbauer, W., Halpern, J.Y., Koch, C., Moore, K.F., Suciu, D.: Causality in databases. IEEE Data Eng. Bull. 33(ARTICLE), 59\u201367 (2010)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Moore, M.S.: Causation and Responsibility: An Essay in Law, Morals, and Metaphysics. Oxford University Press (2009)","DOI":"10.1093\/acprof:oso\/9780199256860.001.0001"},{"key":"4_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality","author":"J Pearl","year":"2009","unstructured":"Pearl, J.: Causality, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"},{"key":"4_CR26","volume-title":"The Book of Why: The New Science of Cause and Effect","author":"J Pearl","year":"2018","unstructured":"Pearl, J., Mackenzie, D.: The Book of Why: The New Science of Cause and Effect, 1st edn. Basic Books Inc, USA (2018)","edition":"1"},{"key":"4_CR27","first-page":"765","volume-title":"Causality for Machine Learning","author":"B Sch\u00f6lkopf","year":"2022","unstructured":"Sch\u00f6lkopf, B.: Causality for Machine Learning, 1st edn., pp. 765\u2013804. Association for Computing Machinery, New York (2022)","edition":"1"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-2481-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T09:07:14Z","timestamp":1759396034000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-2481-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,3]]},"ISBN":["9789819524808","9789819524815"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-2481-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,3]]},"assertion":[{"value":"3 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"LORI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Rationality and Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi\u2019an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/golori.org\/lori2025\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}