{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T13:23:04Z","timestamp":1777728184244,"version":"3.51.4"},"reference-count":26,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IA"],"published-print":{"date-parts":[[2017,4,18]]},"DOI":"10.3233\/ia-170106","type":"journal-article","created":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T17:19:07Z","timestamp":1492535947000},"page":"47-64","source":"Crossref","is-referenced-by-count":14,"title":["cplint on SWISH: Probabilistic Logical Inference with a Web Browser"],"prefix":"10.1177","volume":"11","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[{"name":"Dipartimento di Matematica e Informatica \u2013 University of Ferrara Via Saragat 1, Ferrara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Bellodi","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria \u2013 University of Ferrara Via Saragat 1, Ferrara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Cota","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria \u2013 University of Ferrara Via Saragat 1, Ferrara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[{"name":"Dipartimento di Matematica e Informatica \u2013 University of Ferrara Via Saragat 1, Ferrara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Zese","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria \u2013 University of Ferrara Via Saragat 1, Ferrara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/IA-170106_ref1","volume-title":"AI*IA 2016 Advances in Artificial Intelligence, volume 10037 of Lecture Notes in Artificial Intelligence","author":"Alberti","year":"2016"},{"key":"10.3233\/IA-170106_ref2","volume-title":"AI*IA 2016 Advances in Artificial Intelligence, volume 10037 of Lecture Notes in Artificial Intelligence","author":"Alberti","year":"2016"},{"key":"10.3233\/IA-170106_ref3","first-page":"2462","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence","author":"De Raedt","year":"2007"},{"key":"10.3233\/IA-170106_ref4","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","article-title":"A knowledge compilation map","volume":"17","author":"Darwiche","year":"2002","journal-title":"J Artif Intell Res"},{"issue":"1","key":"10.3233\/IA-170106_ref5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10994-015-5494-z","article-title":"Probabilistic (logic) programming concepts","volume":"100","author":"De Raedt","year":"2015","journal-title":"Mach Learn"},{"key":"10.3233\/IA-170106_ref6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/B978-0-444-88738-2.50023-3","volume-title":"Proceedings of the 5th Annual Conference on Uncertainty in Artificial Intelligence","author":"Fung","year":"1990"},{"issue":"3","key":"10.3233\/IA-170106_ref7","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1017\/S1471068414000076","article-title":"Inference and learning in probabilistic logic programs using weighted boolean formulas","volume":"15","author":"Fierens","year":"2015","journal-title":"Theor Pract Log Prog"},{"issue":"4-5","key":"10.3233\/IA-170106_ref8","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1017\/S1471068411000238","article-title":"The magic of logical inference in probabilistic programming","volume":"11","author":"Gutmann","year":"2011","journal-title":"Theor Pract Log Prog"},{"key":"10.3233\/IA-170106_ref9","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1017\/S1471068412000154","article-title":"Inference in probabilistic logic programs with continuous random variables","volume":"12","author":"Asiful Islam","year":"2012","journal-title":"Theor Pract Log Prog"},{"issue":"2-3","key":"10.3233\/IA-170106_ref10","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1017\/S1471068410000566","article-title":"On the implementation of the probabilistic logic programming language ProbLog","volume":"11","author":"Kimmig","year":"2011","journal-title":"Theor Pract Log Prog"},{"key":"10.3233\/IA-170106_ref11","volume-title":"Probabilistic Graphical Models: Principles and Techniques","author":"Koller","year":"2009"},{"issue":"5","key":"10.3233\/IA-170106_ref12","doi-asserted-by":"crossref","first-page":"30:1","DOI":"10.1145\/1754399.1754403","article-title":"Reconciling description logics and rules","volume":"57","author":"Motik","year":"2010","journal-title":"J ACM"},{"issue":"B","key":"10.3233\/IA-170106_ref13","first-page":"141","article-title":"Learning stochastic logic programs","volume":"4","author":"Muggleton","year":"2000","journal-title":"Electron Trans Artif Intell"},{"issue":"3","key":"10.3233\/IA-170106_ref14","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s10994-016-5558-8","article-title":"Probabilistic logic programming for hybrid relational domains","volume":"103","author":"Nitti","year":"2016","journal-title":"Mach Learn"},{"key":"10.3233\/IA-170106_ref15","unstructured":"Nampally A. and Ramakrishnan C.R. , Adaptive MCMC-based inference in probabilistic logic programs, arXiv preprint arXiv:1403.6036, 2014."},{"key":"10.3233\/IA-170106_ref16","volume-title":"Practical Probabilistic Programming","author":"Pfeffer","year":"2016"},{"issue":"10","key":"10.3233\/IA-170106_ref17","doi-asserted-by":"crossref","first-page":"1381","DOI":"10.1002\/spe.2386","article-title":"Probabilistic logic programming on the web","volume":"46","author":"Riguzzi","year":"2016","journal-title":"Software Pract and Exper"},{"issue":"1","key":"10.3233\/IA-170106_ref18","first-page":"1","article-title":"Probabilistic logic programming tutorial","volume":"29","author":"Riguzzi","year":"2016","journal-title":"The Association for Logic Programming Newsletter"},{"issue":"1-2","key":"10.3233\/IA-170106_ref19","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","article-title":"Markov logic networks","volume":"62","author":"Richardson","year":"2006","journal-title":"Mach Learn"},{"issue":"4","key":"10.3233\/IA-170106_ref20","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":"Fund Inform"},{"key":"10.3233\/IA-170106_ref21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ijar.2016.05.005","article-title":"The distribution semantics for normal programs with function symbols","volume":"77","author":"Riguzzi","year":"2016","journal-title":"Int J Approx Reason"},{"issue":"4-5","key":"10.3233\/IA-170106_ref22","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S147106841100010X","article-title":"The PITA system: Tabling and answer subsumption for reasoning under uncertainty","volume":"11","author":"Riguzzi","year":"2011","journal-title":"Theor Pract Log Prog"},{"key":"10.3233\/IA-170106_ref23","first-page":"715","volume-title":"Logic Programming, Proceedings of the 12th International Conference on Logic Programming","author":"Sato","year":"1995"},{"key":"10.3233\/IA-170106_ref24","first-page":"36","article-title":"Various techniques used in connection with random digits","volume":"12","author":"Von Neumann","year":"1951","journal-title":"Nat Bureau Stand Appl Math Ser"},{"key":"10.3233\/IA-170106_ref25","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/978-3-540-27775-0_30","volume-title":"Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings","author":"Vennekens","year":"2004"},{"key":"10.3233\/IA-170106_ref26","first-page":"1024","article-title":"A new approach to probabilistic programming inference. In","author":"Wood","year":"2014","journal-title":"Proceedings of the 17th International conference on Artificial Intelligence and Statistics"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IA-170106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:51:28Z","timestamp":1777459888000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospress&doi=10.3233\/IA-170106"}},"subtitle":[],"editor":[{"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Adorni","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Stefano","family":"Cagnoni","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Marco","family":"Gori","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":26,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/ia-170106","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,18]]}}}