{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T00:24:35Z","timestamp":1768436675886,"version":"3.49.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319237077","type":"print"},{"value":"9783319237084","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23708-4_10","type":"book-chapter","created":{"date-parts":[[2015,12,26]],"date-time":"2015-12-26T08:08:52Z","timestamp":1451117332000},"page":"139-153","source":"Crossref","is-referenced-by-count":10,"title":["The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions"],"prefix":"10.1007","author":[{"given":"Dimitar","family":"Shterionov","sequence":"first","affiliation":[]},{"given":"Joris","family":"Renkens","sequence":"additional","affiliation":[]},{"given":"Jonas","family":"Vlasselaer","sequence":"additional","affiliation":[]},{"given":"Angelika","family":"Kimmig","sequence":"additional","affiliation":[]},{"given":"Wannes","family":"Meert","sequence":"additional","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,27]]},"reference":[{"key":"10_CR1","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, pp. 2468\u20132473. AAAI Press (2007)"},{"key":"10_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. 15, 391\u2013454 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"10_CR3","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)"},{"key":"10_CR4","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 Gener. Comput. 11, 377\u2013400 (1993)","journal-title":"New Gener. Comput."},{"key":"10_CR5","unstructured":"Sato, T., Kameya, Y.: A viterbi-like algorithm and EM learning for statistical abduction. In: Proceedings of Workshop on Fusion of Domain Knowledge with Data for Decision Support (2000)"},{"key":"10_CR6","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. Theory Pract. Logic Prog. 11, 235\u2013262 (2011)","journal-title":"Theory Pract. Logic Prog."},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-21295-6_7","volume-title":"Inductive Logic Programming","author":"S Bragaglia","year":"2011","unstructured":"Bragaglia, S., Riguzzi, F.: Approximate inference for logic programs with annotated disjunctions. In: Frasconi, P., Lisi, F.A. (eds.) ILP 2010. LNCS, vol. 6489, pp. 30\u201337. Springer, Heidelberg (2011)"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1017\/S1471068414000076","volume":"15","author":"D Fierens","year":"2015","unstructured":"Fierens, D., Van Den Broeck, G., Renkens, J., Shterionov, D., Gutmann, B., Thon, I., Janssens, G., De Raedt, L.: Inference and learning in probabilistic logic programs using weighted boolean formulas. Theor. Pract. Logic Program. (TPLP 2015) 15(3), 358\u2013401 (2015). doi: 10.1017\/S1471068414000076","journal-title":"Theor. Pract. Logic Program. (TPLP 2015)"},{"key":"10_CR9","unstructured":"Fierens, D., Van den Broeck, G., Thon, I., Gutmann, B., De Raedt, L.: Inference in probabilistic logic programs using weighted CNF\u2019s. In: Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence, pp. 211\u2013220 (2011)"},{"key":"10_CR10","unstructured":"Fierens, D., Van den Broeck, G., Bruynooghe, M., De Raedt, L.: Constraints for probabilistic logic programming. In: Roy, D., Mansinghka, V., Goodman, N., (eds.) Proceedings of the NIPS Probabilistic Programming Workshop (2012)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Proceedings of the 12th International Conference on Logic Programming (ICLP95), pp. 715\u2013729. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S1471068409003767","volume":"9","author":"J Vennekens","year":"2009","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory Pract. Logic Prog. 9, 245\u2013308 (2009)","journal-title":"Theory Pract. Logic Prog."},{"key":"10_CR13","unstructured":"Gutmann, B.: On continuous distributions and parameter estimation in probabilistic logic programs. Ph.D thesis, KULeuven (2011)"},{"key":"10_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7432.001.0001","volume-title":"Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning)","author":"L Getoor","year":"2007","unstructured":"Getoor, L., Taskar, B.: Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning). MIT Press, Cambridge (2007)"},{"key":"10_CR15","volume-title":"Probabilistic Graphical Models: Principles and Techniques","author":"D Koller","year":"2009","unstructured":"Koller, D., Friedman, N.: Probabilistic Graphical Models: Principles and Techniques. MIT Press, Cambridge (2009)"},{"key":"10_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811357","volume-title":"Modeling and Reasoning with Bayesian Networks","author":"A Darwiche","year":"2009","unstructured":"Darwiche, A.: Modeling and Reasoning with Bayesian Networks. Cambridge University Press, Cambridge (2009). Chapter 12"},{"key":"10_CR17","unstructured":"Taskar, B., Guestrin, C., Koller, D.: Max-margin markov networks. In: Proceedings of Neural Information Processing Systems (2003)"},{"issue":"1\u20132","key":"10_CR18","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. Mach. Learn. 62(1\u20132), 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"10_CR19","unstructured":"Huang, J.: Solving map exactly by searching on compiled arithmetic circuits. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06), pp. 143\u2013148 (2006)"},{"key":"10_CR20","unstructured":"Meert, W.: Inference and learning for directed probabilistic logic models. Ph.D thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science. Blockeel, Hendrik (supervisor) (2011)"},{"key":"10_CR21","unstructured":"Mantadelis, T., Janssens, G.: Dedicated tabling for a probabilistic setting. In: Hermenegildo, M.V., Schaub, T. (eds.) ICLP (Tech. Communications). Vol. 7 of LIPIcs., Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 124\u2013133 (2010)"},{"key":"10_CR22","unstructured":"Darwiche, A.: New advances in compiling CNF into decomposable negation normal form. In: Proceedings of the 16th European Conference on Artificial Intelligence, pp. 328\u2013332 (2004)"},{"key":"10_CR23","unstructured":"Darwiche, A.: A compiler for deterministic, decomposable negation normal form. In: Dechter, R., Sutton, R.S. (eds.) AAAI\/IAAI, pp. 627\u2013634. AAAI Press\/MIT Press (2002)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Meert, W., Struyf, J., Blockeel, H.: CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods. In: Proceedings of 19th International Conference of Inductive Logic Programming, pp. 96\u2013109 (2009)","DOI":"10.1007\/978-3-642-13840-9_10"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23708-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T11:29:17Z","timestamp":1718278157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23708-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319237077","9783319237084"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23708-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}