{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:01:20Z","timestamp":1747173680970,"version":"3.40.5"},"reference-count":32,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2023,7,26]],"date-time":"2023-07-26T00:00:00Z","timestamp":1690329600000},"content-version":"unspecified","delay-in-days":25,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2023,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper presents a rich knowledge representation language aimed at formalizing causal knowledge. This language is used for accurately and directly formalizing common benchmark examples from the literature of actual causality. A definition of cause is presented and used to analyze the actual causes of changes with respect to sequences of actions representing those examples.<\/jats:p>","DOI":"10.1017\/s1471068423000248","type":"journal-article","created":{"date-parts":[[2023,7,26]],"date-time":"2023-07-26T03:19:59Z","timestamp":1690341599000},"page":"715-729","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach"],"prefix":"10.1017","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0574-3092","authenticated-orcid":false,"given":"MICHAEL","family":"GELFOND","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3917-8717","authenticated-orcid":false,"given":"JORGE","family":"FANDINNO","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3165-482X","authenticated-orcid":false,"given":"EVGENII","family":"BALAI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2023,7,26]]},"reference":[{"key":"S1471068423000248_ref32","first-page":"647","article-title":"Actual causation in CP-logic","volume":"11","author":"Vennekens","year":"2011","journal-title":"TPLP"},{"key":"S1471068423000248_ref6","doi-asserted-by":"crossref","unstructured":"Beckers, S. 2021. The counterfactual ness definition of causation. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 35. 6210\u20136217.","DOI":"10.1609\/aaai.v35i7.16772"},{"key":"S1471068423000248_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-019-09620-2"},{"key":"S1471068423000248_ref30","unstructured":"McCarthy, J. 1998. Elaboration tolerance."},{"volume-title":"European Conference on Logics in Artificial Intelligence","year":"2019","author":"Denecker","key":"S1471068423000248_ref15"},{"key":"S1471068423000248_ref14","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1391"},{"key":"S1471068423000248_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-016-1247-1"},{"key":"S1471068423000248_ref10","doi-asserted-by":"crossref","unstructured":"Bochman, A. 2018. Actual causality in a logical setting. In IJCAI. ijcai.org, 1730\u20131736.","DOI":"10.24963\/ijcai.2018\/239"},{"key":"S1471068423000248_ref27","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exm048"},{"key":"S1471068423000248_ref13","doi-asserted-by":"crossref","unstructured":"Cabalar, P. , Fandinno, J. , and Mu\u00f1iz, B. 2020. A system for explainable answer set programming. In ICLP Technical Communications. EPTCS, vol. 325. 124\u2013136.","DOI":"10.4204\/EPTCS.325.19"},{"key":"S1471068423000248_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003645"},{"key":"S1471068423000248_ref19","doi-asserted-by":"publisher","DOI":"10.2307\/2678390"},{"key":"S1471068423000248_ref31","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803161"},{"key":"S1471068423000248_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000234"},{"key":"S1471068423000248_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2016.05.008"},{"key":"S1471068423000248_ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000363"},{"key":"S1471068423000248_ref23","unstructured":"Halpern, J. Y. 2014. Appropriate causal models and stability of causation. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20\u201324, 2014. AAAI Press."},{"key":"S1471068423000248_ref24","unstructured":"Halpern, J. Y. 2015. A modification of the Halpern-Pearl definition of causality. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Q. Yang and M. Wooldridge, Eds. Press, AAAI , 3022\u20133033."},{"key":"S1471068423000248_ref29","doi-asserted-by":"crossref","unstructured":"LeBlanc, E. C. , Balduccini, M. , and Vennekens, J. 2019. Explaining actual causation via reasoning about actions and change. In JELIA. Lecture Notes in Computer Science, vol. 11468. Springer, 231\u2013246.","DOI":"10.1007\/978-3-030-19570-0_15"},{"key":"S1471068423000248_ref20","unstructured":"Hall, N. 2004. Two concepts of causation. In Causation and Counterfactuals, J. Collins, N. Hall, and L. A. Paul, Eds. Cambridge, MA: Press, MIT , 225\u2013276."},{"key":"S1471068423000248_ref2","unstructured":"Balduccini, M. 2012. Answer set solving and non-herbrand functions. In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR\u20192012)(Jun 2012)."},{"key":"S1471068423000248_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-006-9057-9"},{"key":"S1471068423000248_ref5","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11561"},{"key":"S1471068423000248_ref8","doi-asserted-by":"publisher","DOI":"10.3998\/ergo.12405314.0004.001"},{"year":"2014","author":"Gelfond","key":"S1471068423000248_ref18"},{"key":"S1471068423000248_ref17","unstructured":"Gelfond, M. and Balai, E. 2020. Causal analysis of events occurring in trajectories of dynamic domains. In ICLP Workshops. CEUR Workshop Proceedings, vol. 2678."},{"volume-title":"Actual causation and the art of modeling","year":"2010","author":"Halpern","key":"S1471068423000248_ref22"},{"key":"S1471068423000248_ref3","unstructured":"Balduccini, M. and Gelfond, M. 2003. Logic programs with consistency-restoring rules. In International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, Vol. 102."},{"key":"S1471068423000248_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000107"},{"key":"S1471068423000248_ref16","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1399"},{"key":"S1471068423000248_ref25","unstructured":"Halpern, J. Y. and Pearl, J. 2001. Causes and explanations: A structural-model approach: Part 1: Causes. In Proceedings of the Seventeenth Conference in Uncertainty in Artificial Intelligence, UAI 2001, University of Washington, Seattle, Washington, USA, August 2-5, 2001. Morgan Kaufmann, 194\u2013202."},{"key":"S1471068423000248_ref26","unstructured":"Hopkins, M. and Pearl, J. 2003. Clarifying the usage of structural models for commonsense causal reasoning. In Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 83\u201389."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068423000248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,27]],"date-time":"2024-02-27T09:38:29Z","timestamp":1709026709000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068423000248\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,7]]}},"alternative-id":["S1471068423000248"],"URL":"https:\/\/doi.org\/10.1017\/s1471068423000248","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2023,7]]},"assertion":[{"value":"\u00a9 The Author(s), 2023. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}