{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:14:44Z","timestamp":1742915684331,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_15","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:27:54Z","timestamp":1557160074000},"page":"231-246","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Explaining Actual Causation via Reasoning About Actions and Change"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1447-412X","authenticated-orcid":false,"given":"Emily","family":"LeBlanc","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5445-3054","authenticated-orcid":false,"given":"Marcello","family":"Balduccini","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0791-0176","authenticated-orcid":false,"given":"Joost","family":"Vennekens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"issue":"4\u20135","key":"15_CR1","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. J. Theory Pract. Log. Program. (TPLP) 3(4\u20135), 425\u2013461 (2003)","journal-title":"J. Theory Pract. Log. Program. (TPLP)"},{"key":"15_CR2","series-title":"The Springer International Series in Engineering and Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-1-4615-1567-8_12","volume-title":"Logic-Based Artificial Intelligence","author":"C Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence. SECS, vol. 597, pp. 257\u2013279. Springer, Boston (2000). https:\/\/doi.org\/10.1007\/978-1-4615-1567-8_12"},{"key":"15_CR3","unstructured":"Baral, C., Hunsaker, M.: Using the probabilistic logic programming language P-log for causal and counterfactual reasoning and non-naive conditioning. In: IJCAI, pp. 243\u2013249 (2007)"},{"key":"15_CR4","unstructured":"Batusov, V., Soutchanski, M.: Situation calculus semantics for actual causality. In: 13th International Symposium on Commonsense Reasoning, vol. 6, University College London, UK, Monday, November 2017"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.ijar.2016.05.008","volume":"77","author":"S Beckers","year":"2016","unstructured":"Beckers, S., Vennekens, J.: A general framework for defining and extending actual causation using CP-logic. Int. J. Approximate Reasoning 77, 105\u2013126 (2016)","journal-title":"Int. J. Approximate Reasoning"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Bochman, A., Lifschitz, V.: Pearl\u2019s causality in a logical setting. In: AAAI, pp. 1446\u20131452 (2015)","DOI":"10.1609\/aaai.v29i1.9411"},{"issue":"4\u20135","key":"15_CR7","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1017\/S1471068414000234","volume":"14","author":"P Cabalar","year":"2014","unstructured":"Cabalar, P., Fandinno, J., Fink, M.: Causal graph justifications of logic programs. Theory Pract. Log. Program. 14(4\u20135), 603\u2013618 (2014)","journal-title":"Theory Pract. Log. Program."},{"issue":"8","key":"15_CR8","first-page":"941","volume":"83","author":"CE Carpenter","year":"1935","unstructured":"Carpenter, C.E.: Concurrent causation. Univ. Pennsylvania Law Rev. Am. Law Reg. 83(8), 941\u2013952 (1935)","journal-title":"Univ. Pennsylvania Law Rev. Am. Law Reg."},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-39451-8_36","volume-title":"KI 2003: Advances in Artificial Intelligence","author":"J Dix","year":"2003","unstructured":"Dix, J., Kuter, U., Nau, D.: Planning in answer set programming using ordered task decomposition. In: G\u00fcnter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol. 2821, pp. 490\u2013504. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39451-8_36"},{"key":"15_CR10","unstructured":"Dobbs, D.B.: Rethinking actual causation in tort law (2017)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1613\/jair.1148","volume":"19","author":"T Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Answer set planning under action costs. J. Artif. Intell. Res. 19, 25\u201371 (2003)","journal-title":"J. Artif. Intell. Res."},{"issue":"3","key":"15_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201363 (2016)","journal-title":"AI Mag."},{"issue":"5\u20136","key":"15_CR13","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1017\/S1471068416000466","volume":"16","author":"J Fandinno","year":"2016","unstructured":"Fandinno, J.: Deriving conclusions from non-monotonic cause-effect relations. Theory Pract. Log. Program. 16(5\u20136), 670\u2013687 (2016)","journal-title":"Theory Pract. Log. Program."},{"issue":"1","key":"15_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.3233\/FI-2016-1399","volume":"147","author":"J Fandinno","year":"2016","unstructured":"Fandinno, J.: Towards deriving conclusions from cause-effect relations. Fundamenta Informaticae 147(1), 93\u2013131 (2016)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR15","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol. 88, pp. 1070\u20131080 (1988)"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11229-009-9497-9","volume":"175","author":"C Glymour","year":"2010","unstructured":"Glymour, C., Danks, D.: Actual causation: a stone soup essay. Synthese 175(2), 169\u2013192 (2010)","journal-title":"Synthese"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Hall, N.: Two concepts of causation. In: Causation and counterfactuals, pp. 225\u2013276 (2004)","DOI":"10.7551\/mitpress\/1752.003.0010"},{"issue":"1","key":"15_CR19","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(1), 109\u2013136 (2007)","journal-title":"Philos. Stud."},{"key":"15_CR20","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)","journal-title":"J. Artif. Intell. Res."},{"key":"15_CR21","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)"},{"issue":"4","key":"15_CR22","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"J. Y. Halpern","year":"2005","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)","journal-title":"The British Journal for the Philosophy of Science"},{"issue":"3","key":"15_CR23","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S Hanks","year":"1987","unstructured":"Hanks, S., McDermott, D.: Nonmonotonic logic and temporal projection. Artif. intell. 33(3), 379\u2013412 (1987)","journal-title":"Artif. intell."},{"key":"15_CR24","first-page":"463","volume-title":"Machine Intelligence","author":"PJ Hayes","year":"1969","unstructured":"Hayes, P.J., McCarthy, J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1969)"},{"issue":"5","key":"15_CR25","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":"15_CR26","unstructured":"LeBlanc, E., Balduccini, M., Vennekens, J.: Appendices of explaining actual causation via reasoning about actions and change, JELIA (2019). http:\/\/eleblanc.ai\/files\/lbv-jelia2019-appendices.pdf"},{"issue":"17","key":"15_CR27","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."},{"key":"15_CR28","unstructured":"Menzies, P.: Counterfactual theories of causation. The Stanford Encyclopedia of Philosophy (2001)"},{"key":"15_CR29","unstructured":"Pearl, J.: On the definition of actual cause. Technical report, University of California (1998)"},{"key":"15_CR30","series-title":"Logic, Argumentation & Reasoning series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58507-9_3","volume-title":"Applications of Formal Philosophy: The Road Less Travelled","author":"LM Pereira","year":"2017","unstructured":"Pereira, L.M., Saptawijaya, A.: Counterfactuals, logic programming and agent morality. In: Urbaniak, R., Payette, G. (eds.) Applications of Formal Philosophy: The Road Less Travelled. LARI, vol. 14. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-58507-9_3"},{"issue":"1","key":"15_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068408003633","volume":"9","author":"E Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., Elkhatib, O.: Justifications for logic programs under answer set semantics. Theory Pract. Log. Program. 9(1), 1\u201356 (2009)","journal-title":"Theory Pract. Log. Program."},{"issue":"4\u20135","key":"15_CR32","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1017\/S1471068411000226","volume":"11","author":"J Vennekens","year":"2011","unstructured":"Vennekens, J.: Actual causation in cp-logic. Theory Pract. Log. Program. 11(4\u20135), 647\u2013662 (2011)","journal-title":"Theory Pract. Log. Program."},{"key":"15_CR33","unstructured":"Weslake, B.: A partial theory of actual causation. Br. J. Philos. Sci. (2015)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T17:02:24Z","timestamp":1721235744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}