{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T17:32:48Z","timestamp":1762623168887},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540899815"},{"type":"electronic","value":"9783540899822"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89982-2_22","type":"book-chapter","created":{"date-parts":[[2008,12,15]],"date-time":"2008-12-15T03:09:15Z","timestamp":1229310555000},"page":"175-189","source":"Crossref","is-referenced-by-count":23,"title":["On the Efficient Execution of ProbLog Programs"],"prefix":"10.1007","author":[{"given":"Angelika","family":"Kimmig","sequence":"first","affiliation":[]},{"given":"V\u00edtor","family":"Santos Costa","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[]},{"given":"Luc","family":"De Raedt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence\u00a064, 81\u2013129 (1993)","journal-title":"Artificial Intelligence"},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T. Sato","year":"2001","unstructured":"Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. J. Artif. Intell. Res. (JAIR)\u00a015, 391\u2013454 (2001)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"22_CR3","unstructured":"Muggleton, S.: Stochastic logic programs. In: De Raedt, L. (ed.) ILP (1995)"},{"issue":"3","key":"22_CR4","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1145\/261124.261131","volume":"22","author":"L.V.S. Lakshmanan","year":"1997","unstructured":"Lakshmanan, L.V.S., Leone, N., Ross, R.B., Subrahmanian, V.S.: ProbView: A flexible probabilistic database system. ACM Trans. Database Syst.\u00a022(3), 419\u2013469 (1997)","journal-title":"ACM Trans. Database Syst."},{"key":"22_CR5","first-page":"517","volume-title":"UAI","author":"V. Santos Costa","year":"2003","unstructured":"Santos Costa, V., Page, D., Qazi, M., Cussens, J.: CLP(BN): constraint logic programming for probabilistic knowledge. In: Meek, C., Kj\u00e6rulff, U. (eds.) UAI, pp. 517\u2013524. Morgan Kaufmann, San Francisco (2003)"},{"key":"22_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.\u00a03132, pp. 431\u2013445. Springer, Heidelberg (2004)"},{"key":"22_CR7","unstructured":"Widom, J.: Trio: A system for integrated management of data, accuracy, and lineage. In: CIDR, pp. 262\u2013276 (2005)"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H","volume":"51","author":"N. Fuhr","year":"2000","unstructured":"Fuhr, N.: Probabilistic Datalog: Implementing logical information retrieval for advanced applications. JASIS\u00a051(2), 95\u2013110 (2000)","journal-title":"JASIS"},{"key":"22_CR9","first-page":"864","volume-title":"VLDB","author":"N.N. Dalvi","year":"2004","unstructured":"Dalvi, N.N., Suciu, D.: Efficient query evaluation on probabilistic databases. In: Nascimento, M.A., \u00d6zsu, M.T., Kossmann, D., Miller, R.J., Blakeley, J.A., Schiefer, K.B. (eds.) VLDB, pp. 864\u2013875. Morgan Kaufmann, San Francisco (2004)"},{"key":"22_CR10","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: Veloso, M.M. (ed.) IJCAI, pp. 2462\u20132467 (2007)"},{"key":"22_CR11","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11799511_5","volume-title":"Data Integration in the Life Sciences","author":"P. Sevon","year":"2006","unstructured":"Sevon, P., Eronen, L., Hintsanen, P., Kulovesi, K., Toivonen, H.: Link discovery in graphs derived from biological databases. In: Leser, U., Naumann, F., Eckman, B.A. (eds.) DILS 2006. LNCS (LNBI), vol.\u00a04075, pp. 35\u201349. Springer, Heidelberg (2006)"},{"key":"22_CR12","first-page":"715","volume-title":"ICLP","author":"T. Sato","year":"1995","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Sterling, L. (ed.) ICLP, pp. 715\u2013729. MIT Press, Cambridge (1995)"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/3-540-55460-2_11","volume-title":"Logic Programming","author":"E. Dantsin","year":"1992","unstructured":"Dantsin, E.: Probabilistic logic programs and their semantics. In: Voronkov, A. (ed.) RCLP 1990 and RCLP 1991. LNCS, vol.\u00a0592, pp. 152\u2013164. Springer, Heidelberg (1992)"},{"issue":"1-3","key":"22_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0743-1066(99)00071-0","volume":"44","author":"D. Poole","year":"2000","unstructured":"Poole, D.: Abducing through negation as failure: stable models within the independent choice logic. J. Log. Program.\u00a044(1-3), 5\u201335 (2000)","journal-title":"J. Log. Program."},{"issue":"8","key":"22_CR15","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Computers"},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF03037184","volume":"11","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Logic programming, abduction and probability. New Generation Computing\u00a011, 377\u2013400 (1993)","journal-title":"New Generation Computing"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-74958-5_19","volume-title":"Machine Learning: ECML 2007","author":"A. Kimmig","year":"2007","unstructured":"Kimmig, A., De Raedt, L., Toivonen, H.: Probabilistic explanation based learning. In: Kok, J.N., Koronacki, J., de M\u00e1ntaras, R.L., Matwin, S., Mladenic, D., Skowron, A. (eds.) ECML 2007. LNCS, vol.\u00a04701, pp. 176\u2013187. Springer, Heidelberg (2007)"},{"key":"22_CR18","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1989","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1989)","edition":"2"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-540-87479-9_49","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"B. Gutmann","year":"2008","unstructured":"Gutmann, B., Kimmig, A., Kersting, K., De Raedt, L.: Parameter learning in probabilistic databases: A least squares approach. In: Daelemans, W., Goethals, B., Morik, K. (eds.) ECML PKDD 2008, Part I. LNCS, vol.\u00a05211, pp. 473\u2013488. Springer, Heidelberg (2008)"},{"issue":"2-3","key":"22_CR20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s10994-007-5030-x","volume":"70","author":"L. Raedt De","year":"2008","unstructured":"De Raedt, L., Kersting, K., Kimmig, A., Revoredo, K., Toivonen, H.: Compressing probabilistic Prolog programs. Machine Learning\u00a070(2-3), 151\u2013168 (2008)","journal-title":"Machine Learning"},{"key":"22_CR21","unstructured":"Kimmig, A., De Raedt, L.: Probabilistic local pattern mining. In: ILP (2008)"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-74782-6_11","volume-title":"AI*IA 2007: Artificial Intelligence and Human-Oriented Computing","author":"F. Riguzzi","year":"2007","unstructured":"Riguzzi, F.: A top down interpreter for LPAD and CP-logic. In: Basili, R., Pazienza, M.T. (eds.) AI*IA 2007. LNCS, vol.\u00a04733, pp. 109\u2013120. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89982-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T12:01:10Z","timestamp":1551700870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89982-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540899815","9783540899822"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89982-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}