{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T00:16:24Z","timestamp":1768090584053,"version":"3.49.0"},"reference-count":58,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2009,5,1]],"date-time":"2009-05-01T00:00:00Z","timestamp":1241136000000},"content-version":"unspecified","delay-in-days":0,"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":[[2009,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper develops a logical language for representing probabilistic causal laws. Our interest in such a language is two-fold. First, it can be motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which has been studied at the semantical level by Shafer in his framework of probability trees. In such a dynamic context, where the evolution of a domain over time is considered, the idea of a causal law as something which guides this evolution is quite natural. In our formalization, a set of probabilistic causal laws can be used to represent a class of probability trees in a concise, flexible and modular way. In this way, our work extends Shafer's by offering a convenient logical representation for his semantical objects. Second, this language also has relevance for the area of probabilistic logic programming. In particular, we prove that the formal semantics of a theory in our language can be equivalently defined as a probability distribution over the well-founded models of certain logic programs, rendering it formally quite similar to existing languages such as ICL or PRISM. Because we can motivate and explain our language in a completely self-contained way as a representation of probabilistic causal laws, this provides a new way of explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such a program expresses, in terms that are equally understandable by a non-logician. Moreover, we also obtain an additional piece of knowledge representation methodology for probabilistic logic programs, by showing how they can express probabilistic causal laws.<\/jats:p>","DOI":"10.1017\/s1471068409003767","type":"journal-article","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T12:51:32Z","timestamp":1243515092000},"page":"245-308","source":"Crossref","is-referenced-by-count":63,"title":["CP-logic: A language of causal probabilistic events and its relation to logic programming"],"prefix":"10.1017","volume":"9","author":[{"given":"JOOST","family":"VENNEKENS","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARC","family":"DENECKER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MAURICE","family":"BRUYNOOGHE","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,5,1]]},"reference":[{"key":"S1471068409003767_ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00027-1"},{"key":"S1471068409003767_ref41","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1988"},{"key":"S1471068409003767_ref27","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"S1471068409003767_ref53","volume-title":"AAAI","author":"Tran","year":"2004"},{"key":"S1471068409003767_ref32","volume-title":"LPNMR","author":"Lifschitz","year":"1999"},{"key":"S1471068409003767_ref35","unstructured":"McCain N. 1997. Causality in commonsense reasoning about actions. Ph.D. Thesis, University of Texas at Austin."},{"key":"S1471068409003767_ref31","first-page":"254","volume-title":"Proceedings of the International Symposium on Logic Programming, ILPS'94","author":"Lakshmanan","year":"1994"},{"key":"S1471068409003767_ref37","unstructured":"Meert W. , Struyf J. and Blockeel H. 2007. Learning ground CP-logic theories by means by Bayesian network techniques. In Proceedings of the 6th International Workshop on Multi-Relational Data Mining. 93\u2013104."},{"key":"S1471068409003767_ref26","volume-title":"Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (UAI-97)","author":"Jaeger","year":"1997"},{"key":"S1471068409003767_ref43","first-page":"203","volume-title":"Proceedings of the International Conference on Logic Programming","author":"Pinto","year":"1993"},{"key":"S1471068409003767_ref25","volume-title":"Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence, UAI'01","author":"Halpern","year":"2001"},{"key":"S1471068409003767_ref23","volume-title":"Proceedings of AAAI 98","author":"Giunchiglia","year":"1998"},{"key":"S1471068409003767_ref51","first-page":"1330","volume-title":"Proceedings of the International Joint Conferences on Artificial Intelligence, IJCAI'97","author":"Sato","year":"1997"},{"key":"S1471068409003767_ref50","first-page":"517","volume-title":"Proceedings of the Nineteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2003)","author":"Santos Costa","year":"2003"},{"key":"S1471068409003767_ref17","volume-title":"Proceedings of the 19h Conference on Uncertainty in Artificial Intelligence, UAI'03","author":"Finzi","year":"2003"},{"key":"S1471068409003767_ref34","unstructured":"Martin-L\u00f6f P. 1982. Constructive mathematics and computer programming. In Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science. 153\u2013175."},{"key":"S1471068409003767_ref42","volume-title":"Causality: Models, Reasoning, and Inference","author":"Pearl","year":"2000"},{"key":"S1471068409003767_ref21","first-page":"7","volume-title":"Relational Data Mining","author":"Getoor","year":"2001"},{"key":"S1471068409003767_ref28","unstructured":"Kersting K. and De Raedt L. 2000. Bayesian logic programs. In Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming, Cussens J. and Frisch A. , Eds. 138\u2013155."},{"key":"S1471068409003767_ref46","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037171"},{"key":"S1471068409003767_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73847-3_16"},{"key":"S1471068409003767_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068409003767_ref54","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00123-9"},{"key":"S1471068409003767_ref10","first-page":"1","article-title":"La prevision: ses lois logiques, ses sources subjectives","volume":"7","author":"De Finetti","year":"1937","journal-title":"Annales de l'Institut Henri Poincar\u00e9"},{"key":"S1471068409003767_ref56","volume-title":"The Logic of Chance: An Essay on the Foundations and Province of the Theory of Probability","author":"Venn","year":"1866"},{"key":"S1471068409003767_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1451-1.50031-7"},{"key":"S1471068409003767_ref3","article-title":"Probabilistic reasoning with answer sets","volume":"9","author":"Baral","journal-title":"Theory and Practice of Logic Programming"},{"key":"S1471068409003767_ref40","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00128-4"},{"key":"S1471068409003767_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"S1471068409003767_ref52","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1403.001.0001","volume-title":"The Art of Causal Conjecture","author":"Shafer","year":"1996"},{"key":"S1471068409003767_ref36","first-page":"460","volume-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference (13th AAAI\/8th IAAI)","author":"McCain","year":"1996"},{"key":"S1471068409003767_ref14","first-page":"84","volume-title":"Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Proceedings","author":"Denecker","year":"2007"},{"key":"S1471068409003767_ref4","volume-title":"Proceedings of IJCAI","author":"Baral","year":"2007"},{"key":"S1471068409003767_ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1342991.1342998"},{"key":"S1471068409003767_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11536314_8"},{"key":"S1471068409003767_ref30","doi-asserted-by":"crossref","first-page":"291","DOI":"10.7551\/mitpress\/7432.003.0012","volume-title":"An Introduction to Statistical Relational Learning","author":"Kersting","year":"2007"},{"key":"S1471068409003767_ref2","first-page":"21","volume-title":"Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7)","author":"Baral","year":"2004"},{"key":"S1471068409003767_ref5","volume-title":"AAAI","author":"Baral","year":"2002"},{"key":"S1471068409003767_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30109-7_21"},{"key":"S1471068409003767_ref44","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90061-F"},{"key":"S1471068409003767_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00059-X"},{"key":"S1471068409003767_ref24","volume-title":"Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence, UAI'01","author":"Halpern","year":"2001"},{"key":"S1471068409003767_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053999"},{"key":"S1471068409003767_ref33","first-page":"336","volume-title":"Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01)","author":"Lukasiewicz","year":"2001"},{"key":"S1471068409003767_ref12","first-page":"1","volume-title":"Logics in Artificial Intelligence (JELIA'98)","author":"Denecker","year":"1998"},{"key":"S1471068409003767_ref15","unstructured":"De Raedt L. , Kimmig A. and Toivonen H. 2007. ProbLog: A probabilistic Prolog and its application in link discovery. In Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07, 2462\u20132467."},{"key":"S1471068409003767_ref20","first-page":"16","article-title":"Action languages","volume":"3","author":"Gelfond","year":"1998","journal-title":"Link\u00f6ping Electronic Articles in Computer and Information Science"},{"key":"S1471068409003767_ref48","volume-title":"The 14th RCRA Workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion","author":"Riguzzi","year":"2007"},{"key":"S1471068409003767_ref49","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881915"},{"key":"S1471068409003767_ref9","first-page":"115","volume-title":"Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence","author":"Cussens","year":"2000"},{"key":"S1471068409003767_ref39","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90061-J"},{"key":"S1471068409003767_ref55","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"S1471068409003767_ref57","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_37"},{"key":"S1471068409003767_ref29","doi-asserted-by":"crossref","unstructured":"Kersting K. and De Raedt L. 2001. Bayesian logic programs. Tech. Rep. 151, Institute for Computer Science, University of Freiburg, Germany.","DOI":"10.1007\/3-540-44797-0_9"},{"key":"S1471068409003767_ref58","first-page":"431","volume-title":"Logic Programming, 20th International Conference, ICLP'04, Proceedings","author":"Vennekens","year":"2004"},{"key":"S1471068409003767_ref7","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1992.tb00382.x"},{"key":"S1471068409003767_ref38","first-page":"141","article-title":"Learning stochastic logic programs","volume":"5","author":"Muggleton","year":"2000","journal-title":"Electronic Transactions in Artificial Intelligence"},{"key":"S1471068409003767_ref8","volume-title":"Proceedings of the Second Hawaii International Conference on Statistics and Related fields","author":"Comley","year":"2003"}],"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\/S1471068409003767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T23:05:06Z","timestamp":1710371106000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068409003767\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":58,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,5]]}},"alternative-id":["S1471068409003767"],"URL":"https:\/\/doi.org\/10.1017\/s1471068409003767","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5]]}}}