{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:38:54Z","timestamp":1755797934304},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642138393"},{"type":"electronic","value":"9783642138409"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13840-9_10","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T06:22:37Z","timestamp":1277965357000},"page":"96-109","source":"Crossref","is-referenced-by-count":9,"title":["CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods"],"prefix":"10.1007","author":[{"given":"Wannes","family":"Meert","sequence":"first","affiliation":[]},{"given":"Jan","family":"Struyf","sequence":"additional","affiliation":[]},{"given":"Hendrik","family":"Blockeel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","first-page":"131","volume":"89","author":"W. Meert","year":"2008","unstructured":"Meert, W., Struyf, J., Blockeel, H.: Learning ground CP-logic theories by leveraging Bayesian network learning techniques. Fundamenta Informaticae\u00a089, 131\u2013160 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR2","first-page":"291","volume-title":"Statistical Relational Learning","author":"K. Kersting","year":"2007","unstructured":"Kersting, K., De Raedt, L.: Bayesian logic programming: Theory and tool. In: Statistical Relational Learning, pp. 291\u2013322. MIT Press, Cambridge (2007)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Haddawy, P.: Generating Bayesian networks from probability logic knowledge bases. In: 10th Conference on Uncertainty in Artificial Intelligence (UAI), pp. 262\u2013269 (1994)","DOI":"10.1016\/B978-1-55860-332-5.50038-9"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1017\/S0269888900006147","volume":"7","author":"M.P. Wellman","year":"1992","unstructured":"Wellman, M.P., Breese, J., Goldman, R.: From knowledge bases to decision models. Knowledge Engineering Review\u00a07, 35\u201353 (1992)","journal-title":"Knowledge Engineering Review"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-89982-2_22","volume-title":"Logic Programming","author":"A. Kimmig","year":"2008","unstructured":"Kimmig, A., Santos Costa, V., Rocha, R., Demoen, B., De Raedt, L.: On the efficient execution of ProbLog programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 175\u2013189. Springer, Heidelberg (2008)"},{"key":"10_CR6","first-page":"433","volume-title":"Statistical Relational Learning","author":"R. Salvo Braz de","year":"2007","unstructured":"de Salvo Braz, R., Amir, E., Roth, D.: Lifted first-order probabilistic inference. In: Statistical Relational Learning, pp. 433\u2013452. MIT Press, Cambridge (2007)"},{"key":"10_CR7","unstructured":"Singla, P., Domingos, P.: Lifted first-order belief propagation. In: Proceedings of the 23th AAAI Conference on Artificial Intelligence, pp. 1094\u20131099 (2008)"},{"key":"10_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/11853886_37","volume-title":"Logics in Artificial Intelligence","author":"J. Vennekens","year":"2006","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: Representing causal information about a probabilistic process. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 452\u2013464. Springer, Heidelberg (2006)"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1613\/jair.1122","volume":"18","author":"D. Poole","year":"2003","unstructured":"Poole, D., Zhang, N.: Exploiting contextual independence in probabilistic inference. Journal of Artificial Intelligence Research\u00a018, 263\u2013313 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10_CR10","unstructured":"Zhang, N., Poole, D.: A simple approach to bayesian network computations. In: 10th Biennial Canadian Artificial Intelligence Conference, pp. 171\u2013178 (1994)"},{"key":"10_CR11","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI (2007)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Journal of Artificial Intelligence\u00a094, 7\u201356 (1997)","journal-title":"Journal of Artificial Intelligence"},{"key":"10_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-540-78652-8_5","volume-title":"Probabilistic Inductive Logic Programming","author":"T. Sato","year":"2008","unstructured":"Sato, T., Kameya, Y.: New advances in logic-based probabilistic modeling by PRISM. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911, pp. 118\u2013155. Springer, Heidelberg (2008)"},{"key":"10_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-78469-2","volume-title":"Inductive Logic Programming","author":"H. Blockeel","year":"2008","unstructured":"Blockeel, H., Meert, W.: Towards learning non-recursive LPADs by transforming them into Bayesian networks. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol.\u00a04894, pp. 94\u2013108. Springer, Heidelberg (2008)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Riguzzi, F.: A top down interpreter for LPAD and CP-logic. In: Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA (2007)","DOI":"10.1007\/978-3-540-74782-6_11"},{"key":"10_CR16","unstructured":"Boutilier, C., Friedman, N., Goldszmidt, M., Koller, D.: Context-specific independence in Bayesian networks. In: 12th Conference on Uncertainty in Artificial Intelligence (UAI 1996), pp. 115\u2013123 (1996)"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning\u00a062, 107\u2013136 (2006)","journal-title":"Machine Learning"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s10994-007-5033-7","volume":"70","author":"J. Ramon","year":"2008","unstructured":"Ramon, J., Croonenborghs, T., Fierens, D., Blockeel, H., Bruynooghe, M.: Generalized ordering-search for learning directed probabilistic logical models. Machine Learning\u00a070, 169\u2013188 (2008)","journal-title":"Machine Learning"},{"key":"10_CR19","unstructured":"Riguzzi, F.: The SLGAD procedure for inference on Logic Programs with Annotated Disjunctions. In: Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (2009)"},{"key":"10_CR20","unstructured":"Mantadelis, T., Janssens, G.: Tabling relevant parts of SLD proofs for ground goals in a probabilistic setting. In: International Colloquium on Implementation of Constraint and LOgic Programming Systems, CICLOPS (2009)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13840-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:44:41Z","timestamp":1552625081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13840-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138393","9783642138409"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13840-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}