{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:18:20Z","timestamp":1760170700680,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":60,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781441977373"},{"type":"electronic","value":"9781441977380"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-4419-7738-0_10","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T20:09:01Z","timestamp":1290024541000},"page":"229-262","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic Inductive Querying Using ProbLog"],"prefix":"10.1007","author":[{"given":"Luc","family":"De Raedt","sequence":"first","affiliation":[]},{"given":"Angelika","family":"Kimmig","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Gutmann","sequence":"additional","affiliation":[]},{"given":"Kristian","family":"Kersting","sequence":"additional","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Hannu","family":"Toivonen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,11,18]]},"reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/1388240.1388260","volume":"39","author":"D. Suciu","year":"2008","unstructured":"Suciu, D.: Probabilistic databases. SIGACT News 39(2) (2008) 111\u2013124","journal-title":"SIGACT News"},{"issue":"11","key":"10_CR2","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/240455.240472","volume":"39","author":"T. Imielinski","year":"1996","unstructured":"Imielinski, T., Mannila, H.: A database perspective on knowledge discovery. Commun. ACM 39(11) (1996) 58\u201364","journal-title":"Commun. ACM"},{"unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In Veloso, M., ed.: IJCAI. (2007) 2462\u20132467","key":"10_CR3"},{"doi-asserted-by":"crossref","unstructured":"Dantsin, E.: Probabilistic logic programs and their semantics. In Voronkov, A., ed.: Proc. 1st Russian Conf. on Logic Programming. Volume 592 of LNCS. (1992) 152\u2013164","key":"10_CR4","DOI":"10.1007\/3-540-55460-2_11"},{"doi-asserted-by":"crossref","unstructured":"Dalvi, N.N., Suciu, D.: Efficient query evaluation on probabilistic databases. In: VLDB. (2004) 864\u2013875","key":"10_CR5","DOI":"10.1016\/B978-012088469-8.50076-0"},{"issue":"2","key":"10_CR6","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. Journal of the American Society for Information Science 51(2) (2000) 95\u2013110","journal-title":"Journal of the American Society for Information Science"},{"key":"10_CR7","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 64 (1993) 81\u2013129","journal-title":"Artificial Intelligence"},{"key":"10_CR8","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) 15 (2001) 391\u2013454","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10_CR9","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 11 (1993) 377\u2013400","journal-title":"New Generation Computing"},{"unstructured":"Wrobel, S.: First order theory refinement. In De Raedt, L., ed.: Advances in Inductive Logic Programming. IOS Press, Amsterdam (1996) 14 \u2013 33","key":"10_CR10"},{"issue":"2","key":"10_CR11","first-page":"95","volume":"19","author":"B.L. Richards","year":"1995","unstructured":"Richards, B.L., Mooney, R.J.: Automated refinement of first-order horn-clause domain theories. Machine Learning 19(2) (1995) 95\u2013131","journal-title":"Machine Learning"},{"doi-asserted-by":"crossref","unstructured":"Sevon, P., Eronen, L., Hintsanen, P., Kulovesi, K., Toivonen, H.: Link discovery in graphs derived from biological databases. In: DILS. Volume 4075 of LNCS., Springer (2006) 35\u201349","key":"10_CR12","DOI":"10.1007\/11799511_5"},{"doi-asserted-by":"crossref","unstructured":"Kimmig, A., De Raedt, L., Toivonen, H.: Probabilistic explanation based learning. In Kok, J.N., Koronacki, J., de Mantaras, R.L., Matwin, S., Mladenic, D., Skowron, A., eds.: 18th European Conference on Machine Learning (ECML). Volume 4701 of LNCS., Springer (2007) 176\u2013187","key":"10_CR13","DOI":"10.1007\/978-3-540-74958-5_19"},{"unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In Sterling, L., ed.: ICLP, MIT Press (1995) 715\u2013729","key":"10_CR14"},{"issue":"8","key":"10_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 35(8) (1986) 677\u2013691","journal-title":"IEEE Trans. Computers"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"1","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. Journal of Logic Programming 44(1\u20133) (2000) 5\u201335","journal-title":"Journal of Logic Programming"},{"unstructured":"Lloyd, J.W.: Foundations of Logic Programming. 2. edn. Springer, Berlin (1989)","key":"10_CR17"},{"issue":"3","key":"10_CR18","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1137\/0208032","volume":"8","author":"L.G. Valiant","year":"1979","unstructured":"Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM Journal on Computing 8(3) (1979) 410\u2013421","journal-title":"SIAM Journal on Computing"},{"doi-asserted-by":"crossref","unstructured":"Gutmann, B., Kimmig, A., De Raedt, L., Kersting, K.: Parameter learning in probabilistic databases: A least squares approach. In Daelemans, W., Goethals, B., Morik, K., eds.: Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2008), Part I. Volume 5211 of LNCS (Lecture Notes In Computer Science)., Antwerp, Belgium, Springer Berlin\/Heidelberg (September 2008) 473\u2013488","key":"10_CR19","DOI":"10.1007\/978-3-540-87479-9_49"},{"doi-asserted-by":"crossref","unstructured":"Kimmig, A., Santos Costa, V., Rocha, R., Demoen, B., De Raedt, L.: On the Efficient Execution of ProbLog Programs. In de la Banda, M.G., Pontelli, E., eds.: International Conference on Logic Programming. Number 5366 in LNCS, Springer (December 2008) 175\u2013189","key":"10_CR20","DOI":"10.1007\/978-3-540-89982-2_22"},{"unstructured":"Santos Costa, V.: The life of a logic programming system. In de la Banda, M.G., Pontelli, E., eds.: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9\u201313 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science., Springer (2008) 1\u20136","key":"10_CR21"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1145\/367390.367400","volume":"3","author":"E. Fredkin","year":"1962","unstructured":"Fredkin, E.: Trie Memory. Communications of the ACM 3 (1962) 490\u2013499","journal-title":"Communications of the ACM"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0743-1066(98)10013-4","volume":"38","author":"I.V. Ramakrishnan","year":"1999","unstructured":"Ramakrishnan, I.V., Rao, P., Sagonas, K., Swift, T., Warren, D.S.: Efficient Access Mechanisms for Tabled Logic Programs. Journal of Logic Programming 38(1) (January 1999) 31\u201354","journal-title":"Journal of Logic Programming"},{"unstructured":"Mantadelis, T., Demoen, B., Janssens, G.: A simplified fast interface for the use of CUDD for binary decision diagrams (2008) http:\/\/people.cs.kuleuven.be\/\u02dctheofrastos.mantadelis\/tools\/simplecudd.html.","key":"10_CR24"},{"unstructured":"Kimmig, A., Demoen, B., De Raedt, L., Santos Costa, V., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. Theory and Practice of Logic Programming (TPLP) (2010) to appear; https:\/\/lirias.kuleuven.be\/handle\/123456789\/259607.","key":"10_CR25"},{"issue":"1","key":"10_CR26","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"Mitchell, T.M., Keller, R.M., Kedar-Cabelli, S.T.: Explanation-based generalization: A unifying view. Machine Learning 1(1) (1986) 47\u201380","journal-title":"Machine Learning"},{"issue":"2","key":"10_CR27","first-page":"145","volume":"1","author":"G. DeJong","year":"1986","unstructured":"DeJong, G., Mooney, R.J.: Explanation-based learning: An alternative view. Machine Learning 1(2) (1986) 145\u2013176","journal-title":"Machine Learning"},{"unstructured":"Hirsh, H.: Explanation-based generalization in a logic-programming environment. In: IJCAI\u201987: Proceedings of the 10th international joint conference on Artificial intelligence, San Francisco, CA, USA, Morgan Kaufmann Publishers Inc. (1987) 221\u2013227","key":"10_CR28"},{"issue":"3","key":"10_CR29","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","volume":"36","author":"F Van Harmelen","year":"1988","unstructured":"Van Harmelen, F., Bundy, A.: Explanation-based generalisation = partial evaluation. Artificial Intelligence 36(3) (1988) 401\u2013412","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Langley, P.: Unifying themes in empirical and explanation-based learning. In: Proceedings of the sixth international workshop on Machine learning, San Francisco, CA, USA, Morgan Kaufmann Publishers Inc. (1989) 2\u20134","key":"10_CR30","DOI":"10.1016\/B978-1-55860-036-2.50004-7"},{"unstructured":"Kimmig, A., De Raedt, L.: Local query mining in a probabilistic Prolog. In Boutilier, C., ed.: International Joint Conference on Artificial Intelligence. (2009) 1095\u20131100","key":"10_CR31"},{"unstructured":"Dehaspe, L., Toivonen, H., King, R.D.: Finding frequent substructures in chemical compounds. In Agrawal, R., Stolorz, P., Piatetsky-Shapiro, G., eds.: Proceedings of the 4th ACMSIGKDD International Conference on Knowledge Discovery and Data Mining, AAAI Press (1998) 30\u201336","key":"10_CR32"},{"doi-asserted-by":"crossref","unstructured":"Tsur, S., Ullman, J.D., Abiteboul, S., Clifton, C., Motwani, R., Nestorov, S., Rosenthal, A.: Query flocks: A generalization of association-rule mining. In: SIGMOD Conference. (1998) 1\u201312","key":"10_CR33","DOI":"10.1145\/276305.276306"},{"unstructured":"De Raedt, L., Ramon, J.: Condensed representations for inductive logic programming. In Dubois, D., Welty, C.A., Williams, M.A., eds.: Proceedings of the 9th International Conference on Principles and Practice of Knowledge Representation. AAAI Press (2004) 438\u2013446","key":"10_CR34"},{"unstructured":"Esposito, F., Fanizzi, N., Ferilli, S., Semeraro, G.: Ideal refinement under object identity. In Langley, P., ed.: Proceedings of the 17th International Conference on Machine Learning, Morgan Kaufmann (2000) 263\u2013270","key":"10_CR35"},{"doi-asserted-by":"crossref","unstructured":"Morishita, S., Sese, J.: Traversing itemset lattice with statistical metric pruning. In: Proceedings of the 19th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Press (2000) 226\u2013236","key":"10_CR36","DOI":"10.1145\/335168.335226"},{"issue":"3","key":"10_CR37","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1009796218281","volume":"1","author":"H. Mannila","year":"1997","unstructured":"Mannila, H., Toivonen, H.: Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery 1(3) (1997) 241\u2013258","journal-title":"Data Mining and Knowledge Discovery"},{"doi-asserted-by":"crossref","unstructured":"Chui, C.K., Kao, B., Hung, E.: Mining frequent itemsets from uncertain data. In Zhou, Z.H., Li, H., Yang, Q., eds.: PAKDD. Volume 4426 of Lecture Notes in Computer Science., Springer (2007) 47\u201358","key":"10_CR38","DOI":"10.1007\/978-3-540-71701-0_8"},{"key":"10_CR39","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10994-007-5030-x","volume":"70","author":"L. De Raedt","year":"2008","unstructured":"De Raedt, L., Kersting, K., Kimmig, A., Revoredo, K., Toivonen, H.: Compressing probabilistic Prolog programs. Machine Learning 70(2\u20133) (2008) 151\u2013168","journal-title":"Machine Learning"},{"key":"10_CR40","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1613\/jair.27","volume":"1","author":"M. Koppel","year":"1994","unstructured":"Koppel, M., Feldman, R., Segre, A.M.: Bias-driven revision of logical domain theories. J. Artif. Intell. Res. (JAIR) 1 (1994) 159\u2013208","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"unstructured":"Zelle, J., Mooney, R.: Inducing deterministic Prolog parsers from treebanks: A machine learning approach. In: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI-94). (1994) 748\u2013753","key":"10_CR41"},{"doi-asserted-by":"crossref","unstructured":"Paes, A., Revoredo, K., Zaverucha, G., Santos Costa, V.: Probabilistic first-order theory revision from examples. In Kramer, S., Pfahringer, B., eds.: ILP. Volume 3625 of Lecture Notes in Computer Science., Springer (2005) 295\u2013311","key":"10_CR42","DOI":"10.1007\/11536314_18"},{"doi-asserted-by":"crossref","unstructured":"Kersting, K., De Raedt, L.: Basic principles of learning bayesian logic programs. [50] 189\u2013221","key":"10_CR43","DOI":"10.1007\/978-3-540-78652-8_7"},{"unstructured":"Gupta, R., Sarawagi, S.: Creating probabilistic databases from information extraction models. In: VLDB. (2006) 965\u2013976","key":"10_CR44"},{"doi-asserted-by":"crossref","unstructured":"Chen, J., Muggleton, S., Santos, J.: Learning probabilistic logic models from probabilistic examples (extended abstract). In: ILP. (2007) 22\u201323","key":"10_CR45","DOI":"10.1007\/978-3-540-78469-2_3"},{"unstructured":"Gutmann, B., Kimmig, A., Kersting, K., De Raedt, L.: Parameter estimation in ProbLog from annotated queries. Technical Report CW 583, Department of Computer Science, Katholieke Universiteit Leuven, Belgium (April 2010)","key":"10_CR46"},{"key":"10_CR47","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.251","volume":"4","author":"L. Saul","year":"1996","unstructured":"Saul, L., Jaakkola, T., Jordan, M.: Mean field theory for sigmoid belief networks. JAIR 4 (1996) 61\u201376","journal-title":"JAIR"},{"key":"10_CR48","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1038\/ng895","volume":"31","author":"C. Perez-Iratxeta","year":"2002","unstructured":"Perez-Iratxeta, C., Bork, P., Andrade, M.: Association of genes to genetically inherited diseases using data mining. Nature Genetics 31 (2002) 316\u2013319","journal-title":"Nature Genetics"},{"doi-asserted-by":"crossref","unstructured":"Getoor, L., Taskar, B., eds.: Statistical Relational Learning. The MIT press (2007)","key":"10_CR49","DOI":"10.7551\/mitpress\/7432.001.0001"},{"doi-asserted-by":"crossref","unstructured":"De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S., eds.: Probabilistic Inductive Logic Programming \u2014 Theory and Applications. Volume 4911 of Lecture Notes in Artificial Intelligence. Springer (2008)","key":"10_CR50","DOI":"10.1007\/978-3-540-78652-8"},{"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., Vennekens, J.: Towards digesting the alphabet-soup of statistical relational learning. In Roy, D., Winn, J., McAllester, D., Mansinghka, V., Tenenbaum, J., eds.: Proceedings of the 1st Workshop on Probabilistic Programming: Universal Languages, Systems and Applications, Whistler, Canada (December 2008)","key":"10_CR51"},{"unstructured":"Riguzzi, F.: A top down interpreter for LPAD and CP-logic. In: AI*IA 2007: Artificial Intelligence and Human-Oriented Computing. Volume 4733 of LNCS. (2007)","key":"10_CR52"},{"unstructured":"Ishihata, M., Kameya, Y., Sato, T., ichi Minato, S.: Propositionalizing the EM algorithm by BDDs. In \u017delezn\u00fd, F., Lavra\u010d, N., eds.: Proceedings of Inductive Logic Programming (ILP 2008), Late Breaking Papers, Prague, Czech Republic (September 2008) 44\u201349","key":"10_CR53"},{"unstructured":"Muggleton, S.: Stochastic logic programs. In De Raedt, L., ed.: ILP. (1995)","key":"10_CR54"},{"unstructured":"Santos Costa, V., Page, D., Cussens, J.: Clp(bn): Constraint logic programming for probabilistic knowledge. In: In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI03, Morgan Kaufmann (2003) 517\u2013524","key":"10_CR55"},{"doi-asserted-by":"crossref","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In Demoen, B., Lifschitz, V., eds.: ICLP. Volume 3132 of LNCS., Springer, Heidelberg (2004) 431\u2013445","key":"10_CR56","DOI":"10.1007\/978-3-540-27775-0_30"},{"doi-asserted-by":"crossref","unstructured":"Gutmann, B., Thon, I., De Raedt, L.: Learning the parameters of probabilistic logic programs from interpretations. Technical Report CW 584, Department of Computer Science, Katholieke Universiteit Leuven, Belgium (April 2010)","key":"10_CR57","DOI":"10.1007\/978-3-642-23780-5_47"},{"doi-asserted-by":"crossref","unstructured":"Domingos, P., Lowd, D.: Markov Logic: an interface layer for AI. Morgan & Claypool (2009)","key":"10_CR58","DOI":"10.1007\/978-3-031-01549-6"},{"doi-asserted-by":"crossref","unstructured":"Getoor, L., Friedman, N., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In D\u017eeroski, S., Lavra\u010d, N., eds.: Relational Data Mining. Springer (2001) 307\u2013335","key":"10_CR59","DOI":"10.1007\/978-3-662-04599-2_13"},{"unstructured":"De Raedt, L., Thon, I.: Probabilistic rule learning. Technical Report CW 580, Department of Computer Science, Katholieke Universiteit Leuven, Belgium (April 2010)","key":"10_CR60"}],"container-title":["Inductive Databases and Constraint-Based Data Mining"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-7738-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T11:43:19Z","timestamp":1676634199000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4419-7738-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781441977373","9781441977380"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-7738-0_10","relation":{},"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"18 November 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}