{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T19:44:01Z","timestamp":1775072641380,"version":"3.50.1"},"reference-count":38,"publisher":"Cambridge University Press (CUP)","issue":"2-3","license":[{"start":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T00:00:00Z","timestamp":1296086400000},"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":[[2011,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have been developed. ProbLog is a recent probabilistic extension of Prolog motivated by the mining of large biological networks. In ProbLog, facts can be labeled with probabilities. These facts are treated as mutually independent random variables that indicate whether these facts belong to a randomly sampled program. Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the efficient execution of these queries, discuss their implementation on top of the YAP-Prolog system, and evaluate their performance in the context of large networks of biological entities.<\/jats:p>","DOI":"10.1017\/s1471068410000566","type":"journal-article","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T11:12:27Z","timestamp":1296126747000},"page":"235-262","source":"Crossref","is-referenced-by-count":97,"title":["On the implementation of the probabilistic logic programming language ProbLog"],"prefix":"10.1017","volume":"11","author":[{"given":"ANGELIKA","family":"KIMMIG","sequence":"first","affiliation":[]},{"given":"BART","family":"DEMOEN","sequence":"additional","affiliation":[]},{"given":"LUC","family":"DE RAEDT","sequence":"additional","affiliation":[]},{"given":"V\u00cdTOR SANTOS","family":"COSTA","sequence":"additional","affiliation":[]},{"given":"RICARDO","family":"ROCHA","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,1,27]]},"reference":[{"key":"S1471068410000566_ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10013-4"},{"key":"S1471068410000566_ref18","first-page":"1095","volume-title":"International Joint Conference on Artificial Intelligence","author":"Kimmig","year":"2009"},{"key":"S1471068410000566_ref36","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"key":"S1471068410000566_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27775-0_30"},{"key":"S1471068410000566_ref24","first-page":"254","volume-title":"Advances in ILP","author":"Muggleton","year":"1995"},{"key":"S1471068410000566_ref19","first-page":"176","volume-title":"European Conference on Machine Learning","author":"Kimmig","year":"2007"},{"key":"S1471068410000566_ref4","first-page":"864","volume-title":"International Conference on Very Large Databases","author":"Dalvi","year":"2004"},{"key":"S1471068410000566_ref14","volume-title":"Term Indexing","author":"Graf","year":"1996"},{"key":"S1471068410000566_ref38","unstructured":"Widom J. 2005. Trio: A system for integrated management of data, accuracy, and lineage [online]. In Conference on Innovative Data Systems Research, Stonebraker M. , Weikum G. and DeWitt D. , Eds. 262\u2013276. URL: http:\/\/www.cidrdb.org\/cidr2005\/"},{"key":"S1471068410000566_ref23","unstructured":"Mantadelis T. and Janssens G. 2009. Tabling relevant parts of SLD proofs for ground goals in a probabilistic setting [online]. In International Colloquium on Implementation of Constraint and Logic Programming Systems, Tarau P. , Moura P. and Zhou N.-F. , Eds. 36\u201350. URL: http:\/\/www.cse.unt.edu\/~tarau\/ciclops09\/"},{"key":"S1471068410000566_ref1","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/3-540-56610-4_56","volume-title":"International Joint Conference on Theory and Practice of Software Development","author":"Bachmair","year":"1993"},{"key":"S1471068410000566_ref29","first-page":"109","volume-title":"Congress of the Italian Association for Artificial Intelligence (AI*IA)","author":"Riguzzi","year":"2007"},{"key":"S1471068410000566_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90061-F"},{"key":"S1471068410000566_ref3","first-page":"115","volume-title":"Uncertainty in Artificial Intelligence","author":"Cussens","year":"2000"},{"key":"S1471068410000566_ref5","first-page":"152","volume-title":"Russian Conference on Logic Programming","author":"Dantsin","year":"1991"},{"key":"S1471068410000566_ref30","first-page":"185","volume-title":"Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14\u201315, 2007","author":"Santos Costa","year":"2007"},{"key":"S1471068410000566_ref31","first-page":"517","volume-title":"Conference on Uncertainty in Artificial Intelligence","author":"Santos","year":"2003"},{"key":"S1471068410000566_ref20","unstructured":"Kimmig A. , Gutmann B. and Santos Costa V. 2009. Trading memory for answers: Towards tabling ProbLog [online]. In International Workshop on Statistical Relational Learning, Domingos P. and Kersting K. , Eds. URL: http:\/\/dtai.cs.kuleuven.be\/ilp-mlg-srl\/index.php"},{"key":"S1471068410000566_ref11","doi-asserted-by":"publisher","DOI":"10.1145\/367390.367400"},{"key":"S1471068410000566_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78652-8_7"},{"key":"S1471068410000566_ref13","volume-title":"Statistical Relational Learning","author":"Getoor","year":"2007"},{"key":"S1471068410000566_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_22"},{"key":"S1471068410000566_ref9","volume-title":"Probabilistic Inductive Querying Using ProbLog","author":"De Raedt","year":"2009"},{"key":"S1471068410000566_ref10","first-page":"2462","volume-title":"International Joint Conference on Artificial Intelligence","author":"De Raedt","year":"2007"},{"key":"S1471068410000566_ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"S1471068410000566_ref16","first-page":"44","volume-title":"Proceedings of Inductive Logic Programming (ILP 2008), Late Breaking Papers","author":"Ishihata","year":"2008"},{"key":"S1471068410000566_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-007-5030-x"},{"key":"S1471068410000566_ref32","first-page":"305","volume-title":"International Conference on Logic Programming","author":"Santos Costa","year":"2007"},{"key":"S1471068410000566_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78652-8"},{"key":"S1471068410000566_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00071-0"},{"key":"S1471068410000566_ref12","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H"},{"key":"S1471068410000566_ref6","unstructured":"De Raedt L. , Demoen B. , Fierens D. , Gutmann B. , Janssens G. , Kimmig A. , Landwehr N. , Mantadelis T. , Meert W. , Rocha R. , Santos Costa V. , Thon I. and Vennekens J. 2008a. Towards digesting the alphabet-soup of statistical relational learning [online]. In NIPS Workshop on Probabilistic Programming. URL: http:\/\/probabilistic-programming.org\/wiki\/NIPS*2008_Workshop."},{"key":"S1471068410000566_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/11799511_5"},{"key":"S1471068410000566_ref15","first-page":"473","volume-title":"European Conference on Machine Learning","author":"Gutmann","year":"2008"},{"key":"S1471068410000566_ref34","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","article-title":"Parameter learning of logic programs for symbolic-statistical modeling","volume":"15","author":"Sato","year":"2001","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"S1471068410000566_ref22","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261131"},{"key":"S1471068410000566_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037184"},{"key":"S1471068410000566_ref33","doi-asserted-by":"crossref","first-page":"715","DOI":"10.7551\/mitpress\/4298.003.0069","volume-title":"International Conference on Logic Programming","author":"Sato","year":"1995"}],"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\/S1471068410000566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T14:04:24Z","timestamp":1712153064000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000566\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,27]]},"references-count":38,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["S1471068410000566"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000566","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,27]]}}}