{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:59:25Z","timestamp":1742914765312,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491295"},{"type":"electronic","value":"9783319491301"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49130-1_26","type":"book-chapter","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T14:13:59Z","timestamp":1478268839000},"page":"351-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Probabilistic Logical Inference on the Web"],"prefix":"10.1007","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Cota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Zese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,5]]},"reference":[{"key":"26_CR1","volume-title":"Practical Probabilistic Programming","author":"A Pfeffer","year":"2016","unstructured":"Pfeffer, A.: Practical Probabilistic Programming. Manning Publications, Cherry Hill (2016)"},{"issue":"1","key":"26_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10994-015-5494-z","volume":"100","author":"L De Raedt","year":"2015","unstructured":"De Raedt, L., Kimmig, A.: Probabilistic (logic) programming concepts. Mach. Learn. 100(1), 5\u201347 (2015)","journal-title":"Mach. Learn."},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"1381","DOI":"10.1002\/spe.2386","volume":"46","author":"F Riguzzi","year":"2015","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Cota, G.: Probabilistic logic programming on the web. Softw. Pract. Exper. 46, 1381\u20131396 (2015)","journal-title":"Softw. Pract. Exper."},{"issue":"3","key":"26_CR4","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1017\/S1471068414000076","volume":"15","author":"D Fierens","year":"2015","unstructured":"Fierens, D., den Broeck, G.V., Renkens, J., Shterionov, D.S., Gutmann, B., Thon, I., Janssens, G., De Raedt, L.: Inference and learning in probabilistic logic programs using weighted Boolean formulas. Theoret. Pract. Log. Prog. 15(3), 358\u2013401 (2015)","journal-title":"Theoret. Pract. Log. Prog."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: 12th International Conference on Logic Programming, Tokyo Japan, pp. 715\u2013729. MIT Press, Cambridge (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-27775-0_30","volume-title":"Logic Programming","author":"J Vennekens","year":"2004","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 431\u2013445. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-27775-0_30"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ijar.2016.05.005","volume":"77","author":"F Riguzzi","year":"2016","unstructured":"Riguzzi, F.: The distribution semantics for normal programs with function symbols. Int. J. Approximate Reasoning 77, 1\u201319 (2016)","journal-title":"Int. J. Approximate Reasoning"},{"issue":"4\u20135","key":"26_CR8","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1017\/S1471068411000238","volume":"11","author":"B Gutmann","year":"2011","unstructured":"Gutmann, B., Thon, I., Kimmig, A., Bruynooghe, M., Raedt, L.D.: The magic of logical inference in probabilistic programming. Theoret. Pract. Log. Prog. 11(4\u20135), 663\u2013680 (2011)","journal-title":"Theoret. Pract. Log. Prog."},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1017\/S1471068412000154","volume":"12","author":"MA Islam","year":"2012","unstructured":"Islam, M.A., Ramakrishnan, C., Ramakrishnan, I.: Inference in probabilistic logic programs with continuous random variables. Theoret. Pract. Log. Prog. 12, 505\u2013523 (2012)","journal-title":"Theoret. Pract. Log. Prog."},{"issue":"3","key":"26_CR10","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10994-016-5558-8","volume":"103","author":"D Nitti","year":"2016","unstructured":"Nitti, D., De Laet, T., De Raedt, L.: Probabilistic logic programming for hybrid relational domains. Mach. Learn. 103(3), 407\u2013449 (2016)","journal-title":"Mach. Learn."},{"key":"26_CR11","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: 20th International Joint Conference on Artificial Intelligence, (IJCAI 2005), Hyderabad, India, vol. 7, pp. 2462\u20132467. AAAI Press, Palo Alto, California USA (2007)"},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229\u2013264 (2002)","journal-title":"J. Artif. Intell. Res."},{"issue":"4\u20135","key":"26_CR13","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S147106841100010X","volume":"11","author":"F Riguzzi","year":"2011","unstructured":"Riguzzi, F., Swift, T.: The PITA system: tabling and answer subsumption for reasoning under uncertainty. Theoret. Pract. Log. Prog. 11(4\u20135), 433\u2013449 (2011)","journal-title":"Theoret. Pract. Log. Prog."},{"issue":"2\u20133","key":"26_CR14","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1017\/S1471068410000566","volume":"11","author":"A Kimmig","year":"2011","unstructured":"Kimmig, A., Demoen, B., De Raedt, L., Costa, V.S., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. Theoret. Pract. Log. Prog. 11(2\u20133), 235\u2013262 (2011)","journal-title":"Theoret. Pract. Log. Prog."},{"issue":"4","key":"26_CR15","doi-asserted-by":"crossref","first-page":"521","DOI":"10.3233\/FI-2013-847","volume":"124","author":"F Riguzzi","year":"2013","unstructured":"Riguzzi, F.: MCINTYRE: a Monte Carlo system for probabilistic logic programming. Fundam. Inform. 124(4), 521\u2013541 (2013)","journal-title":"Fundam. Inform."},{"key":"26_CR16","first-page":"36","volume":"12","author":"J Von Neumann","year":"1951","unstructured":"Von Neumann, J.: Various techniques used in connection with random digits. Nat. Bureau Stand. Appl. Math. Ser. 12, 36\u201338 (1951)","journal-title":"Nat. Bureau Stand. Appl. Math. Ser."},{"key":"26_CR17","unstructured":"Nampally, A., Ramakrishnan, C.: Adaptive MCMC-based inference in probabilistic logic programs. arXiv:1403.6036 (2014)"},{"key":"26_CR18","unstructured":"Wood, F., van de Meent, J.W., Mansinghka, V.: A new approach to probabilistic programming inference. In: Proceedings of the 17th International Conference on Artificial Intelligence and Statistics, pp. 1024\u20131032 (2014)"},{"issue":"B","key":"26_CR19","first-page":"141","volume":"4","author":"S Muggleton","year":"2000","unstructured":"Muggleton, S.: Learning stochastic logic programs. Electron. Trans. Artif. Intell. 4(B), 141\u2013153 (2000)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"1","key":"26_CR20","first-page":"1","volume":"29","author":"F Riguzzi","year":"2016","unstructured":"Riguzzi, F., Cota, G.: Probabilistic logic programming tutorial. Assoc. Logic Program. Newsl. 29(1), 1 (2016)","journal-title":"Assoc. Logic Program. Newsl."}],"container-title":["Lecture Notes in Computer Science","AI*IA 2016 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49130-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T17:55:33Z","timestamp":1710266133000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49130-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319491295","9783319491301"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49130-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AI*IA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Genova","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"XV","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.aixia2016.unige.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}