{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T14:43:40Z","timestamp":1712587420089},"reference-count":15,"publisher":"Cambridge University Press (CUP)","issue":"4-5","license":[{"start":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T00:00:00Z","timestamp":1309910400000},"content-version":"unspecified","delay-in-days":5,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2011,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Given a causal model of some domain and a particular story that has taken place in this domain, the problem of actual causation is deciding which of the possible causes for some effect actually caused it. One of the most influential approaches to this problem has been developed by Halpern and Pearl (Halpern, J. and Pearl, J. 2005. Causes and explanations: A structural-model approach. Part I: Causes.<jats:italic>British Journal for the Philosophy of Science<\/jats:italic><jats:italic>56<\/jats:italic>(4), 843\u2013887) in the context of structural models. In this paper, I argue that this is actually not the best setting for studying this problem. As an alternative, I offer the probabilistic logic programming language of CP-logic. Unlike structural models, CP-logic incorporates the deviant\/default distinction that is generally considered an important aspect of actual causation, and it has an explicitly dynamic semantics, which helps to formalize the stories that serve as input to an actual causation problem.<\/jats:p>","DOI":"10.1017\/s1471068411000226","type":"journal-article","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T09:15:37Z","timestamp":1309943737000},"page":"647-662","source":"Crossref","is-referenced-by-count":7,"title":["Actual causation in CP-logic"],"prefix":"10.1017","volume":"11","author":[{"given":"JOOST","family":"VENNEKENS","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,7,6]]},"reference":[{"key":"S1471068411000226_ref10","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1007\/978-3-540-89982-2_54","volume-title":"Logic Programming, Proceedings of 24th International Conference, ICLP 2008, Udine, Italy, December 9\u201313","author":"Riguzzi","year":"2008"},{"key":"S1471068411000226_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409003767"},{"key":"S1471068411000226_ref7","doi-asserted-by":"publisher","DOI":"10.1215\/00318108-2007-012"},{"key":"S1471068411000226_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-009-9497-9"},{"key":"S1471068411000226_ref9","volume-title":"Causality: Models, Reasoning, and Inference","author":"Pearl","year":"2000"},{"key":"S1471068411000226_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27775-0_30"},{"key":"S1471068411000226_ref2","doi-asserted-by":"crossref","first-page":"225","DOI":"10.7551\/mitpress\/1752.003.0010","volume-title":"Causation and Counterfactuals","author":"Hall","year":"2004"},{"key":"S1471068411000226_ref4","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/axi147"},{"key":"S1471068411000226_ref14","volume-title":"12th European Conference on Logics in Artificial Intelligence","author":"Vennekens","year":"2010"},{"key":"S1471068411000226_ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2025310"},{"key":"S1471068411000226_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-006-9057-9"},{"key":"S1471068411000226_ref6","doi-asserted-by":"publisher","DOI":"10.2307\/2678432"},{"key":"S1471068411000226_ref5","doi-asserted-by":"publisher","DOI":"10.1093\/phisci\/axi102"},{"key":"S1471068411000226_ref12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1403.001.0001","volume-title":"The Art of Causal Conjecture","author":"Shafer","year":"1996"},{"key":"S1471068411000226_ref11","doi-asserted-by":"crossref","first-page":"429","DOI":"10.3233\/FI-2010-313","article-title":"SLGAD resolution for inference on logic programs with annotated disjunctions.","volume":"102","author":"Riguzzi","year":"2010","journal-title":"Fundamenta Informaticae"}],"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\/S1471068411000226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T14:14:22Z","timestamp":1712585662000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000226\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":15,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["S1471068411000226"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000226","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7]]}}}