{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T00:24:03Z","timestamp":1772065443720,"version":"3.50.1"},"reference-count":76,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"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":[[2015,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Learning probabilistic logic programming languages is receiving an increasing attention, and systems are available for learning the parameters (PRISM, LeProbLog, LFI-ProbLog and EMBLEM) or both structure and parameters (SEM-CP-logic and SLIPCASE) of these languages. In this paper we present the algorithm SLIPCOVER for \u201cStructure LearnIng of Probabilistic logic programs by searChing OVER the clause space.\u201d It performs a beam search in the space of probabilistic clauses and a greedy search in the space of theories using the log likelihood of the data as the guiding heuristics. To estimate the log likelihood, SLIPCOVER performs Expectation Maximization with EMBLEM. The algorithm has been tested on five real world datasets and compared with SLIPCASE, SEM-CP-logic, Aleph and two algorithms for learning Markov Logic Networks (Learning using Structural Motifs (LSM) and ALEPH++ExactL1). SLIPCOVER achieves higher areas under the precision-recall and receiver operating characteristic curves in most cases.<\/jats:p>","DOI":"10.1017\/s1471068413000689","type":"journal-article","created":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T12:56:32Z","timestamp":1389790592000},"page":"169-212","source":"Crossref","is-referenced-by-count":41,"title":["Structure learning of probabilistic logic programs by searching the clause space"],"prefix":"10.1017","volume":"15","author":[{"given":"ELENA","family":"BELLODI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FABRIZIO","family":"RIGUZZI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1471068413000689_ref76","first-page":"195","volume-title":"Proceedings of the 20th International Conference on Logic Programming (ICLP-2004)","author":"Vennekens","year":"2004"},{"key":"S1471068413000689_ref75","volume-title":"Logic Programs with Annotated Disjunctions","author":"Vennekens","year":"2003"},{"key":"S1471068413000689_ref42","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037184"},{"key":"S1471068413000689_ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143874"},{"key":"S1471068413000689_ref10","first-page":"152","volume-title":"Russian Conference on Logic Programming (RCLP-1991)","author":"Dantsin","year":"1991"},{"key":"S1471068413000689_ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87481-2_33"},{"key":"S1471068413000689_ref57","article-title":"Speeding up inference for probabilistic logic programs","author":"Riguzzi","year":"2013","journal-title":"The Computer Journal"},{"key":"S1471068413000689_ref70","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00122-0"},{"key":"S1471068413000689_ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"S1471068413000689_ref26","unstructured":"Ishihata M. , Kameya Y. , Sato T. and Minato S. 2008a. Propositionalizing the EM algorithm by BDDs. In 18th International Conference on Inductive Logic Programming (ILP-2008), Late Breaking Papers, 44\u201349."},{"key":"S1471068413000689_ref61","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000664"},{"key":"S1471068413000689_ref50","first-page":"43","volume-title":"16th International Conference on Inductive Logic Programming (ILP-2006), Revised Selected Papers","author":"Riguzzi","year":"2006"},{"key":"S1471068413000689_ref33","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1145\/1553374.1553440","volume-title":"Proceedings of the 26th Annual International Conference on Machine Learning (ICML-2009)","author":"Kok","year":"2009"},{"key":"S1471068413000689_ref36","first-page":"131","article-title":"Learning ground CP-Logic theories by leveraging Bayesian network learning techniques.","volume":"89","author":"Meert","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"S1471068413000689_ref25","first-page":"810","volume-title":"Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009)","author":"Inoue","year":"2009"},{"key":"S1471068413000689_ref20","doi-asserted-by":"crossref","first-page":"129","DOI":"10.7551\/mitpress\/7432.001.0001","volume-title":"Introduction to Statistical Relational Learning","author":"Getoor","year":"2007"},{"key":"S1471068413000689_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-007-5030-x"},{"key":"S1471068413000689_ref45","first-page":"3","volume-title":"Machine Learning: ECML-93, Proceedings of the European Conference on Machine Learning","author":"Quinlan","year":"1993"},{"key":"S1471068413000689_ref69","first-page":"217","volume-title":"Proceedings of the 4th International Workshop on Inductive Logic Programming","author":"Srinivasan","year":"1994"},{"key":"S1471068413000689_ref73","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"S1471068413000689_ref28","first-page":"203","volume-title":"Proceedings of the 24th Australasian Joint Conference on Advances in Artificial Intelligence (AI 2011)","author":"Ishihata","year":"2011"},{"key":"S1471068413000689_ref2","first-page":"61","volume-title":"21st International Conference on Inductive Logic Programming (ILP-2011), Revised Selected Papers","author":"Bellodi","year":"2011"},{"key":"S1471068413000689_ref58","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-011-5247-6"},{"key":"S1471068413000689_ref49","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/978-3-540-30109-7_21","volume-title":"Proceedings of the 14th International Conference on Inductive Logic Programming (ILP-2004)","author":"Riguzzi","year":"2004"},{"key":"S1471068413000689_ref13","first-page":"1","volume-title":"1st Workshop on Probabilistic Programming: Universal Languages, Systems and Applications (NIPS 2008)","author":"De Raedt","year":"2008"},{"key":"S1471068413000689_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.patrec.2005.10.010"},{"key":"S1471068413000689_ref15","first-page":"2462","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)","author":"De Raedt","year":"2007"},{"key":"S1471068413000689_ref6","first-page":"59","volume-title":"Proceedings of the 18th International Conference on Inductive Logic Programming (ILP-2008)","author":"Biba","year":"2008"},{"key":"S1471068413000689_ref65","first-page":"715","volume-title":"Proceedings of the 12th International Conference on Logic Programming (ICLP-1995)","author":"Sato","year":"1995"},{"key":"S1471068413000689_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23780-5_47"},{"key":"S1471068413000689_ref5","unstructured":"Berka P. , Rauch J. and Tsumoto S. (Eds.) 2002. ECML\/PKDD 2002 Discovery Challenge. Proceedings of the ECML\/PKDD Discovery Challenge: A Collaborative Effort in Knowledge Discovery from Databases, 108\u2013119."},{"key":"S1471068413000689_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21295-6_7"},{"key":"S1471068413000689_ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1102351.1102407"},{"key":"S1471068413000689_ref44","doi-asserted-by":"publisher","DOI":"10.1145\/73721.73723"},{"key":"S1471068413000689_ref43","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00027-1"},{"key":"S1471068413000689_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-012-5307-6"},{"key":"S1471068413000689_ref41","first-page":"441","volume-title":"Advances in Artificial Intelligence \u2013 Proceedings of the 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium (IBERAMIA-SBIA-2006)","author":"Paes","year":"2006"},{"key":"S1471068413000689_ref18","first-page":"129","volume-title":"Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI '98)","author":"Friedman","year":"1998"},{"key":"S1471068413000689_ref1","doi-asserted-by":"publisher","DOI":"10.1089\/cmb.2005.12.584"},{"key":"S1471068413000689_ref66","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"},{"key":"S1471068413000689_ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1390156.1390209"},{"key":"S1471068413000689_ref19","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H"},{"key":"S1471068413000689_ref31","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000566"},{"key":"S1471068413000689_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-007-5032-8"},{"key":"S1471068413000689_ref34","first-page":"551","volume-title":"Proceedings of the 27th International Conference on Machine Learning (ICML-2010)","author":"Kok","year":"2010"},{"key":"S1471068413000689_ref67","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176344136"},{"key":"S1471068413000689_ref16","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-642-13840-9","volume-title":"20th International Conference on Inductive Logic Programming (ILP-2010), Revised Papers","author":"De Raedt","year":"2010"},{"key":"S1471068413000689_ref55","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"},{"key":"S1471068413000689_ref56","doi-asserted-by":"crossref","first-page":"521","DOI":"10.3233\/FI-2013-847","article-title":"MCINTYRE: A Monte Carlo system for probabilistic logic programming","volume":"124","author":"Riguzzi","year":"2013","journal-title":"Fundamenta Informaticae"},{"key":"S1471068413000689_ref7","first-page":"639","volume-title":"Proceedings of the 29th International Conference on Machine Learning (ICML-2012)","author":"Boyd","year":"2012"},{"key":"S1471068413000689_ref59","first-page":"162","volume-title":"Technical Communications of the 26th International Conference on Logic Programming (ICLP-2010)","author":"Riguzzi","year":"2010"},{"key":"S1471068413000689_ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1273496.1273575"},{"key":"S1471068413000689_ref68","unstructured":"Srinivasan A. 2012. Aleph [online]. Accessed 3 April 2012. URL: http:\/\/www.cs.ox.ac.uk\/activities\/machlearn\/Aleph\/aleph.html."},{"key":"S1471068413000689_ref22","volume-title":"Parameter Estimation in ProbLog from Annotated Queries","author":"Gutmann","year":"2010"},{"key":"S1471068413000689_ref62","first-page":"475","volume-title":"Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference (AAAI-2005)","author":"Sang","year":"2005"},{"key":"S1471068413000689_ref27","unstructured":"Ishihata M. , Kameya Y. , Sato T. and Minato S. 2008b. Propositionalizing the EM Algorithm by BDDs. Tech. Rep. TR08-0004, Department of Computer Science, Tokyo Institute of Technology, Japan."},{"key":"S1471068413000689_ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(02)00165-5"},{"key":"S1471068413000689_ref60","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841100010X"},{"key":"S1471068413000689_ref53","first-page":"667","volume-title":"Proceedings of the 24th International Conference on Logic Programming (ICLP-2008)","author":"Riguzzi","year":"2008"},{"key":"S1471068413000689_ref63","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000512"},{"key":"S1471068413000689_ref64","first-page":"517","volume-title":"Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI'03)","author":"Santos Costa","year":"2003"},{"key":"S1471068413000689_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87479-9_49"},{"key":"S1471068413000689_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78652-8_7"},{"key":"S1471068413000689_ref3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/IA-2012-0027","article-title":"Experimentation of an expectation maximization algorithm for probabilistic logic programs.","volume":"8","author":"Bellodi","year":"2012","journal-title":"Intelligenza Artificiale"},{"key":"S1471068413000689_ref35","first-page":"200","volume-title":"Proceedings of the 18th European Conference on Machine Learning (ECML-2007)","author":"Lowd","year":"2007"},{"key":"S1471068413000689_ref54","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp025"},{"key":"S1471068413000689_ref4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.3233\/IDA-130582","article-title":"Expectation maximization over binary decision diagrams for probabilistic logic programs.","volume":"17","author":"Bellodi","year":"2013","journal-title":"Intelligent Data Analysis"},{"key":"S1471068413000689_ref40","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90028-0"},{"key":"S1471068413000689_ref38","first-page":"2550","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)","author":"Minato","year":"2007"},{"key":"S1471068413000689_ref51","first-page":"109","volume-title":"AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence","author":"Riguzzi","year":"2007"},{"key":"S1471068413000689_ref74","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409003767"},{"key":"S1471068413000689_ref71","first-page":"171","volume-title":"Proceedings of the 8th International Symposium on Multiple-Valued logic (MLV '78)","author":"Thayse","year":"1978"},{"key":"S1471068413000689_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/BF01007461"},{"key":"S1471068413000689_ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007676901476"},{"key":"S1471068413000689_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037227"},{"key":"S1471068413000689_ref11","first-page":"328","volume-title":"Proceedings of the 16th Eureopean Conference on Artificial Intelligence (ECAI-2004)","author":"Darwiche","year":"2004"}],"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\/S1471068413000689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T20:27:58Z","timestamp":1688934478000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068413000689\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,15]]},"references-count":76,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["S1471068413000689"],"URL":"https:\/\/doi.org\/10.1017\/s1471068413000689","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,15]]}}}