{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T01:34:07Z","timestamp":1779327247652,"version":"3.51.4"},"publisher-location":"Dordrecht","reference-count":39,"publisher":"Springer Netherlands","isbn-type":[{"value":"9789401061049","type":"print"},{"value":"9789401150149","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-94-011-5014-9_4","type":"book-chapter","created":{"date-parts":[[2012,7,29]],"date-time":"2012-07-29T00:48:48Z","timestamp":1343522928000},"page":"75-104","source":"Crossref","is-referenced-by-count":34,"title":["Bucket Elimination: A Unifying Framework for Probabilistic Inference"],"prefix":"10.1007","author":[{"given":"R.","family":"Dechter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0166-218X(89)90031-0","volume":"23","author":"S Arnborg","year":"1989","unstructured":"S. Arnborg and A. Proskourowski. Linear time algorithms for np-hard problems restricted to partial k-trees. Discrete and Applied Mathematics, 23: 11\u201324, 1989.","journal-title":"Discrete and Applied Mathematics"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BF01934985","volume":"25","author":"SA Arnborg","year":"1985","unstructured":"S.A. Arnborg. Efficient algorithms for combinatorial problems on graphs with bounded decomposability - a survey. BIT, 25: 2\u201323, 1985.","journal-title":"BIT"},{"key":"4_CR3","volume-title":"Principles and Practice of Constraints Programming (CP-95)","author":"F Bacchus","year":"1995","unstructured":"F. Bacchus and P. van Run. Dynamic variable ordering in csps. In Principles and Practice of Constraints Programming (CP-95), Cassis, France, 1995."},{"key":"4_CR4","first-page":"81","volume-title":"Uncertainty in Al (UAI-96)","author":"A Becker","year":"1996","unstructured":"A. Becker and D. Geiger. A sufficiently fast algorithm for finding close to optimal jnmction trees. In Uncertainty in Al (UAI-96), pages 81\u201389, 1996."},{"key":"4_CR5","volume-title":"Academic Press","author":"U Bertele","year":"1972","unstructured":"U. Bertele and F. Brioschi. Nonserial Dynamic Programming. Academic Press, 1972."},{"key":"4_CR6","volume-title":"Journal of the Association of Computing Machinery (JACM)","author":"S Bista\u0433elli","year":"1997","unstructured":"S. Bista\u0433elli, U. Montanan, and F Rossi. Semiring-based constraint satisfaction and optimization. Journal of the Association of Computing Machinery (JACM), to appear, 1997."},{"key":"4_CR7","first-page":"115","volume-title":"Uncertainty in Artificial Intelligence (UAI-96)","author":"C Boutilier","year":"1996","unstructured":"C. Boutilier. Context-specific independence in bayesian networks. In Uncertainty in Artificial Intelligence (UAI-96), pages 115\u2013123, 1996."},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.2307\/1426718","volume":"10","author":"C Cannings","year":"1978","unstructured":"C. Cannings, E.A. Thompson, and H.H. Skolnick. Probability functions on complex pedigrees. Advances in Applied Probability, 10: 26\u201361, 1978.","journal-title":"Advances in Applied Probability"},{"key":"4_CR9","volume-title":"Nestor: A computer-based medical diagnosis aid that integrates causal and probabilistic knowledge","author":"GF Cooper","year":"1984","unstructured":"G.F. Cooper. Nestor: A computer-based medical diagnosis aid that integrates causal and probabilistic knowledge. Technical report, Computer Science department, Stanford University, Palo-Alto, California, 1984."},{"key":"4_CR10","volume-title":"Journal of the Association of Computing Machinery","author":"M Davis","year":"1955","unstructured":"M. Davis and H. Putnam. A computing procedure for quantification theory. Journal of the Association of Computing Machinery, 7(3), 1960."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","volume":"34","author":"R Dechter","year":"1987","unstructured":"R. Dechter and J. Pearl. Network-based heuristics for constraint satisfaction problems. Artificial Intelligence, 34: 1\u201338, 1987.","journal-title":"Artificial Intelligence"},{"key":"4_CR12","first-page":"353","volume-title":"Artificial Intelligence","author":"R Dechter","year":"1989","unstructured":"R. Dechter and J. Pearl. Tree clustering for constraint networks. Artificial Intelligence, pages 353\u2013366, 1989."},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1016\/B978-1-4832-1452-8.50109-3","volume-title":"Principles of Knowledge Representation and Reasoning (\u041aR-94)","author":"R Dechter","year":"1994","unstructured":"R. Dechter and I. Rish. Directional resolution: The davis-putnam procedure, revisited. In Principles of Knowledge Representation and Reasoning (\u041aR-94), pages 134\u2013145, 1994."},{"key":"4_CR14","volume-title":"Principles of Constraint Programming (CP-96)","author":"R Dechter","year":"1996","unstructured":"R. Dechter and I. Rish. To guess or to think? hybrid algorithms for sat. In Principles of Constraint Programming (CP-96), 1996."},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/3-540-60299-2_15","volume-title":"Principles and Practice of Constraint programming (CP-95)","author":"R Dechter","year":"1995","unstructured":"R. Dechter and P. van Beek. Local and global relational consistency. In Principles and Practice of Constraint programming (CP-95), pages 240\u2013257, 1995."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(90)90046-3","volume":"41","author":"R Dechter","year":"1990","unstructured":"R. Dechter. Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Artificial Intelligence, 41: 273\u2013312, 1990.","journal-title":"Artificial Intelligence"},{"key":"4_CR17","first-page":"276","volume-title":"Encyclopedia of Artificial Intelligence","author":"R Dechter","year":"1992","unstructured":"R. Dechter. Constraint networks. Encyclopedia of Artificial Intelligence, pages 276\u2013285, 1992."},{"key":"4_CR18","first-page":"211","volume-title":"Uncertainty in Artificial Intelligence (UAI-96)","author":"R Dechter","year":"1996","unstructured":"R. Dechter. Bucket elimination: A unifying framework for probabilistic inference algorithms. In Uncertainty in Artificial Intelligence (UAI-96), pages 211\u2013219, 1996."},{"key":"4_CR19","first-page":"220","volume-title":"Uncertainty in Artificial Intelligence (UAI-96)","author":"R Dechter","year":"1996","unstructured":"R. Dechter. Topological parameters for time-space tradeoffs. In Uncertainty in Artificial Intelligence (UAI-96), pages 220\u2013227, 1996."},{"key":"4_CR20","volume-title":"Ijcai-97: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","author":"R Dechter","year":"1997","unstructured":"R. Dechter. Mini-buckets: A general scheme of generating approximations in automated reasoning. In Ijcai-97: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997."},{"key":"4_CR21","first-page":"244","volume-title":"Uncertainty in Artificial Intelligence (UAI-96)","author":"Y El-Fattah","year":"1996","unstructured":"Y. El-Fattah and R. Dechter. An evaluation of structural parameters for probabilistic reasoning: results on benchmark circuits. In Uncertainty in Artificial Intelligence (UAI-96), pages 244\u2013251, 1996."},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1002\/net.3230200504","volume":"20","author":"D Geiger","year":"1990","unstructured":"D. Geiger, T. Verma, and J. Pear. Identifying independence in bayesian networks. Networks, 20: 507\u2013534, 1990.","journal-title":"Networks"},{"key":"4_CR23","volume-title":"Computational Statistics Quarterly","author":"FV Jensen","year":"1990","unstructured":"F.V. Jensen, S.L Lauritzen, and K.G. Olesen. Bayesian updating in causal probabilistic networks by local computation. Computational Statistics Quarterly, 4, 1990."},{"key":"4_CR24","first-page":"121","volume-title":"Uncertainty in Artificial Intelligence (UAI-93)","author":"U Kj\u00e6aerulff","year":"1993","unstructured":"U. Kj\u00e6aerulff. A computational scheme for reasoning in dynamic probabilistic networks. In Uncertainty in Artificial Intelligence (UAI-93), pages 121\u2013149, 1993."},{"issue":"2","key":"4_CR25","first-page":"157","volume":"50","author":"SL Lauritzen","year":"1988","unstructured":"S.L. Lauritzen and D.J. Spiegelhalter. Local computation with probabilities on graphical structures and their application to expert systems. Journal of the Royal Statistical Society, Series B, 50 (2): 157\u2013224, 1988.","journal-title":"Series B"},{"key":"4_CR26","volume-title":"Morgan Kaufmann","author":"J Pearl","year":"1988","unstructured":"J. Pearl. Probabilistic Reasoningin Intelligent Systems. Morgan Kaufmann, 1988."},{"key":"4_CR27","first-page":"140","volume-title":"National Conference on Artificial Intelligence (AAAI86)","author":"Y Peng","year":"1986","unstructured":"Y. Peng and J.A. Reggia. Plausability of diagnostic hypothesis. In NationalConference on Artificial Intelligence (AAAI86), pages 140\u2013145, 1986."},{"key":"4_CR28","volume-title":"A connectionist model for diagnostic problem solving","author":"Y Peng","year":"1989","unstructured":"Y. Peng and J.A. Reggia. A connectionist model for diagnostic problem solving, 1989."},{"key":"4_CR29","volume-title":"Ijcai-97: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","author":"D Poole","year":"1997","unstructured":"D. Poole. Probabilistic partial evaluation: Exploiting structure in probabilistic inference. In Ijcai-97: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997."},{"key":"4_CR30","first-page":"514","volume-title":"Uncertainty in Artificial Intelligence (UAI-91)","author":"SK Anderson","year":"1991","unstructured":"S.K. Anderson R. D. Shachter and P. Solovitz. Global conditioning for probabilistic inference in belief networks. In Uncertainty in Artificial Intelligence (UAI-91), pages 514\u2013522, 1991."},{"key":"4_CR31","first-page":"126","volume-title":"Automated Reasoning","author":"B D\u2019Ambrosio","year":"1990","unstructured":"B. D\u2019Ambrosio R.D. Shachter and B.A. Del Favro. Symbolic probabilistic inference in belief networks. Automated Reasoning, pages 126 \u2013 131, 1990."},{"key":"4_CR32","first-page":"339","volume-title":"Uncertainty in Artificial Intelligence (UAI-91)","author":"E Santos","year":"1991","unstructured":"E. Santos. On the generation of alternative explanations with implications for belief revision. In Uncertainty in Artificial Intelligence (UAI-91), pages 339\u2013347, 1991."},{"key":"4_CR33","volume-title":"Operations Research","author":"RD Shachter","year":"1986","unstructured":"R.D. Shachter. Evaluating influence diagrams. Operations Research, 34, 1986."},{"key":"4_CR34","volume-title":"Operations Research","author":"RD Shachter","year":"1988","unstructured":"R.D. Shachter. Probabilistic inference and influence diagrams. Operations Research, 36, 1988."},{"key":"4_CR35","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1002\/net.3230200505","volume":"20","author":"RD Shachter","year":"1990","unstructured":"R. D. Shachter. An ordered examination of influence diagrams. Networks, 20: 535\u2013563, 1990.","journal-title":"Networks"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1287\/opre.40.3.463","volume":"40","author":"PP Shenoy","year":"1992","unstructured":"P.P. Shenoy. Valuation-based systems for bayesian decision analysis. Operations Research, 40: 463\u2013484, 1992.","journal-title":"Operations Research"},{"key":"4_CR37","first-page":"185","volume-title":"Uncertainty in Artificial Intelligence","author":"SE Shimony","year":"1991","unstructured":"S.E. Shimony and E. Charniack. A new algorithm for finding map assignments to belief networks. In P. Bonissone, M. Henrion, L. Kanal, and J. Lemmer ed., Uncertainty in Artificial Intelligence, volume 6, pages 185\u2013193, 1991."},{"key":"4_CR38","volume-title":"IEEE Transactions on Systems, Man, and Cybernetics","author":"JA Tatman","year":"1990","unstructured":"J.A. Tatman and R.D. Shachter. Dynamic programming and influence diagrams. IEEE Transactions on Systems, Man, and Cybernetics, 1990."},{"key":"4_CR39","volume-title":"Journal of Artificial Intelligence Research (JAIR)","author":"NL Zhang","year":"1996","unstructured":"N.L. Zhang and D. Poole. Exploiting causal independence in bayesian network inference. Journal of Artificial Intelligence Research (JAIR), 1996."}],"container-title":["Learning in Graphical Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-5014-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T09:19:39Z","timestamp":1554110379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-5014-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9789401061049","9789401150149"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-5014-9_4","relation":{},"subject":[],"published":{"date-parts":[[1998]]}}}