{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,19]],"date-time":"2026-04-19T10:07:53Z","timestamp":1776593273432,"version":"3.51.2"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s10472-009-9132-y","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T09:34:26Z","timestamp":1240565666000},"page":"3-51","source":"Crossref","is-referenced-by-count":16,"title":["Mixed deterministic and probabilistic networks"],"prefix":"10.1007","volume":"54","author":[{"given":"Robert","family":"Mateescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rina","family":"Dechter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,25]]},"reference":[{"key":"9132_CR1","unstructured":"Allen, D., Darwiche, A.: New advances in inference by recursive conditioning. In: Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI\u201903), pp. 2\u201310 (2003)"},{"key":"9132_CR2","unstructured":"Bacchus, F., Dalmao, S., Pitassi, T.: Value elimination: Bayesian inference via backtracking search. In: Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI\u201903), pp. 20\u201328 (2003)"},{"key":"9132_CR3","unstructured":"Bartels, C., Bilmes, J.A.: Non-minimal triangulations for mixed stochastic\/deterministic graphical models. In: Proceedings of the Twenty Second Conference on Uncertainty in Artificial Intelligence (UAI\u201906) (2006)"},{"key":"9132_CR4","unstructured":"Bayardo, R., Miranker, D.: A complexity analysis of space-bound learning algorithms for the constraint satisfaction problem. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence, pp. 298\u2013304 (1996)"},{"key":"9132_CR5","volume-title":"Nonserial Dynamic Programming","author":"U Bertele","year":"1972","unstructured":"Bertele, U., Brioschi, F.: Nonserial Dynamic Programming. Academic, London (1972)"},{"key":"9132_CR6","doi-asserted-by":"crossref","unstructured":"Bodlaender, H.L., Gilbert, J.R.: Approximating treewidth, pathwidth and minimum elimination tree-height. Tech. Rep., Utrecht University (1991)","DOI":"10.1007\/3-540-55121-2_1"},{"key":"9132_CR7","unstructured":"Boutilier, C., Friedman, N., Goldszmidt, M., Koller, D.: Context-specific independence in Bayesian networks. In: Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI\u201996), pp. 115\u2013123. San Francisco, 1\u20134 August 1996"},{"issue":"1\u20132","key":"9132_CR8","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/j.ijar.2005.10.001","volume":"42","author":"M Chavira","year":"2006","unstructured":"Chavira, M., Darwiche, A., Jaeger, M.: Compiling relational Bayesian networks for exact inference. Int. J. Approx. Reason. 42(1\u20132), 4\u201320 (2006)","journal-title":"Int. J. Approx. Reason."},{"key":"9132_CR9","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/0004-3702(90)90060-D","volume":"42","author":"G Cooper","year":"1990","unstructured":"Cooper, G.: The computational complexity of probabistic inferences. Artif. Intell. 42, 393\u2013405 (1990)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"9132_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(00)00069-2","volume":"125","author":"A Darwiche","year":"2001","unstructured":"Darwiche, A.: Recursive conditioning. Artif. Intell. 125(1\u20132), 5\u201341 (2001)","journal-title":"Artif. Intell."},{"key":"9132_CR11","unstructured":"Darwiche, A.: A logical approach to factoring belief networks. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201902), pp. 409\u2013420. Toulouse, 22\u201325 April 2002"},{"key":"9132_CR12","unstructured":"Dechter, R.: Bucket elimination: a unifying framework for probabilistic inference algorithms. In: Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI\u201996), pp. 211\u2013219. San Francisco, 1\u20134 August 1996"},{"key":"9132_CR13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","volume":"113","author":"R Dechter","year":"1999","unstructured":"Dechter, R.: Bucket elimination: a unifying framework for reasoning. Artif. Intell. 113, 41\u201385 (1999)","journal-title":"Artif. Intell."},{"key":"9132_CR14","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Mateo (2003)"},{"key":"9132_CR15","unstructured":"Dechter, R., Larkin, D.: Hybrid processing of belief and constraints. In: Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (UAI\u201901), pp. 112\u2013119. Seattle, August 2001"},{"key":"9132_CR16","unstructured":"Dechter, R., Mateescu, R.: Mixtures of deterministic-probabilistic networks and their AND\/OR search space. In: Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (UAI\u201904), pp. 120\u2013129. Banff, 7\u201311 July 2004"},{"issue":"2\u20133","key":"9132_CR17","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.artint.2006.11.003","volume":"171","author":"R Dechter","year":"2007","unstructured":"Dechter, R., Mateescu, R.: AND\/OR search spaces for graphical models. Artif. Intell. 171(2\u20133), 73\u2013106 (2007)","journal-title":"Artif. Intell."},{"issue":"1","key":"9132_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","volume":"34","author":"R Dechter","year":"1987","unstructured":"Dechter, R., Pearl, J.: Network-based heuristics for constraint satisfaction problems. Artif. Intell. 34(1), 1\u201338 (1987)","journal-title":"Artif. Intell."},{"key":"9132_CR19","unstructured":"Freuder, E.C., Quinn, M.J.: Taking advantage of stable sets of variables in constraint satisfaction problems. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI\u201985), pp. 1076\u20131078. Los Angeles, 18\u201323 August 1985"},{"key":"9132_CR20","unstructured":"Gaschnig, J.: Performance measurement and analysis of search algorithms. Tech. Rep. CMU-CS-79-124, Carnegie Mellon University (1979)"},{"key":"9132_CR21","unstructured":"Heckerman, D.: A tractable inference algorithm for diagnosing multiple diseases. In: Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI\u201989), pp. 163\u2013172 (1989)"},{"key":"9132_CR22","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1142\/S0218488504002564","volume":"12","author":"M Jaeger","year":"2004","unstructured":"Jaeger, M.: Probabilistic decision graphs\u2014combining verification and AI techniques for probabilistic inference. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 12, 19\u201342 (2004)","journal-title":"Int. J. Uncertain. Fuzziness Knowl.-Based Syst."},{"issue":"1\u20132","key":"9132_CR23","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.artint.2005.04.004","volume":"166","author":"K Kask","year":"2005","unstructured":"Kask, K., Dechter, R., Larrosa, J., Dechter, A.: Unifying cluster-tree decompositions for reasoning in graphical models. Artif. Intell. 166(1\u20132), 165\u2013193 (2005)","journal-title":"Artif. Intell."},{"key":"9132_CR24","unstructured":"Koller, D., Pfeffer, A.: Probabilistic frame-based systems. In: Proceedings of the Fifteenth National Conference of Artificial Intelligence (AAAI\u201998), pp. 580\u2013587. Madison, July 1998"},{"key":"9132_CR25","volume-title":"Database System Concepts","author":"H Korth","year":"1991","unstructured":"Korth, H., Silberschatz, A.: Database System Concepts. McGraw-Hill, New York (1991)"},{"key":"9132_CR26","unstructured":"Larkin, D., Dechter, R.: Bayesian inference in the presence of determinism. In: The Ninth International Workshop on Artificial Intelligence and Statistics (AISTATS\u201903). Key West, January 2003"},{"key":"9132_CR27","unstructured":"Mateescu, R., Dechter, R.: The relationship between AND\/OR search and variable elimination. In: Proceedings of the Twenty First Conference on Uncertainty in Artificial Intelligence (UAI\u201905), pp. 380\u2013387. Edinburgh, 26\u201329 July 2005"},{"key":"9132_CR28","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Dechter, R.: AND\/OR multi-valued decision diagrams (AOMDDs) for weighted graphical models. In: Proceedings of the Twenty Third Conference on Uncertainty in Artificial Intelligence (UAI\u201907). Vancouver, July 2007","DOI":"10.1613\/jair.2605"},{"issue":"2","key":"9132_CR29","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1109\/49.661103","volume":"16","author":"R McEliece","year":"1998","unstructured":"McEliece, R., MacKay, D., Cheng, J.F.: Turbo decoding as an instance of Pearl\u2019s belief propagation algorithm. IEEE J. Sel. Areas Commun. 16(2), 140\u2013152 (1998)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"9132_CR30","unstructured":"Milch, B., Marthi, B., Sontag, D., Russell, S., Ong, D.L., Kolobov, A.: Blog: probabilistic models with unknown objects. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI\u201905), pp. 1352\u20131359. Edinburgh, 30 July\u20135 August 2005"},{"key":"9132_CR31","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient SAT solver. In: Proceedings of the Design and Automation Conference (DAC\u201901), pp. 530\u2013535. Las Vegas, June 2001","DOI":"10.1145\/378239.379017"},{"issue":"1\u20132","key":"9132_CR32","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0304-3975(96)00128-4","volume":"171","author":"L Ngo","year":"1997","unstructured":"Ngo, L., Haddawy, P.: Answering queries from context-sensitive probabilistic knowledge bases. Theor. Comp. Sci. 171(1\u20132), 147\u2013177 (1997)","journal-title":"Theor. Comp. Sci."},{"key":"9132_CR33","volume-title":"Principles of Artificial Intelligence","author":"NJ Nilsson","year":"1980","unstructured":"Nilsson, N.J.: Principles of Artificial Intelligence. Tioga, Palo Alto (1980)"},{"key":"9132_CR34","doi-asserted-by":"crossref","DOI":"10.56021\/9780801861406","volume-title":"Analysis of Human Genetic Linkage","author":"J Ott","year":"1999","unstructured":"Ott, J.: Analysis of Human Genetic Linkage. The Johns Hopkins University Press, Baltimore (1999)"},{"key":"9132_CR35","unstructured":"Otten, L., Dechter, R.: Bounding search space size via (hyper)tree decompositions. In: Proceedings of the Twenty Fourth Conference on Uncertainty in Artificial Intelligence (UAI\u201908), pp. 452\u2013459. Helsinki, July 2008"},{"key":"9132_CR36","doi-asserted-by":"crossref","unstructured":"Parker, R., Miller, R.: Using causal knowledge to create simulated patient cases: the CPCS project as an extension of INTERNIST-1. In: Proceedings of the Eleventh Symposium on Computer Applications in Medical Care, pp. 473\u2013480. Washington, D.C., November 1987","DOI":"10.1007\/978-1-4613-8777-0_8"},{"key":"9132_CR37","volume-title":"Probabilistic Reasoning in Intelligent Systems","author":"J Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Francisco (1988)"},{"key":"9132_CR38","doi-asserted-by":"crossref","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. Artif. Intell. 64, 81\u2013129 (1993)","journal-title":"Artif. Intell."},{"key":"9132_CR39","unstructured":"Poole, D.: Probabilistic partial evaluation: exploiting structure in probabilistic inference. In: IJCAI-97: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI\u201997), pp. 1284\u20131291. Nagoya, 23\u201329 August 1997"},{"key":"9132_CR40","unstructured":"Portinale, L., Bobbio, A.: Bayesian networks for dependency analysis: an application to digital control. In: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence (UAI\u201999), pp. 551\u2013558. Stockholm, 30 July\u20131 August 1999"},{"issue":"3","key":"9132_CR41","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1111\/j.1467-8640.1993.tb00310.x","volume":"9","author":"P Prosser","year":"1993","unstructured":"Prosser, P.: Hybrid algorithms for constraint satisfaction problems. Comput. Intell. 9(3), 268\u2013299 (1993)","journal-title":"Comput. Intell."},{"issue":"1\u20132","key":"9132_CR42","doi-asserted-by":"crossref","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."},{"issue":"1\/2","key":"9132_CR43","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1023\/A:1006303512524","volume":"24","author":"I Rish","year":"2000","unstructured":"Rish, I., Dechter, R.: Resolution vs. search; two strategies for SAT. J. Autom. Reason. 24(1\/2), 225\u2013275 (2000)","journal-title":"J. Autom. Reason."},{"key":"9132_CR44","unstructured":"Sang, T., Bacchus, F., Beam, P., Kautz, H., Pitassi, T.: Combining component caching and clause learning for effective model counting. In: Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT\u201904), pp. 20\u201328. Vancouver, 10\u201313 May 2004"},{"key":"9132_CR45","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1287\/opre.40.3.463","volume":"40","author":"P Shenoy","year":"1992","unstructured":"Shenoy, P.: Valuation-based systems for Bayesian decision analysis. Oper. Res. 40, 463\u2013484 (1992)","journal-title":"Oper. Res."},{"key":"9132_CR46","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1017\/S0269888900006147","volume":"7","author":"M Wellman","year":"1992","unstructured":"Wellman, M., Breese, J., Goldman, R.: From knowledge bases to decision models. Knowl. Eng. Rev. 7, 35\u201353 (1992)","journal-title":"Knowl. Eng. Rev."},{"key":"9132_CR47","unstructured":"Zhang, N., Poole, D.: A simple approach to Bayesian network computations. In: Proceedings of the Tenth Canadian Conference on Artificial Intelligence, pp. 171\u2013178. Seattle, 31 July\u20134 August 1994"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9132-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9132-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9132-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T22:50:28Z","timestamp":1684968628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9132-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":47,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["9132"],"URL":"https:\/\/doi.org\/10.1007\/s10472-009-9132-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11]]}}}