{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:32:00Z","timestamp":1766269920575,"version":"3.30.1"},"reference-count":52,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3942,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Approximate Reasoning"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s0888-613x(02)00074-9","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T19:38:56Z","timestamp":1034019536000},"page":"103-154","source":"Crossref","is-referenced-by-count":36,"title":["Resource bounded and anytime approximation of belief function computations"],"prefix":"10.1016","volume":"31","author":[{"given":"Rolf","family":"Haenni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1988","series-title":"Probabilistic Reasoning in Intelligent Systems","author":"Pearl","key":"10.1016\/S0888-613X(02)00074-9_BIB1"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB2","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1214\/aoms\/1177698950","article-title":"Upper and lower probabilities induced by a multivalued mapping","volume":"38","author":"Dempster","year":"1967","journal-title":"Annals of Mathematical Statistics"},{"year":"1976","series-title":"The Mathematical Theory of Evidence","author":"Shafer","key":"10.1016\/S0888-613X(02)00074-9_BIB3"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB4","doi-asserted-by":"crossref","unstructured":"J. Kohlas, P. Monney, A Mathematical Theory of Hints. An Approach to the Dempster\u2013Shafer Theory of Evidence, Vol. 425 of Lecture Notes in Economics and Mathematical Systems, Springer, 1995","DOI":"10.1007\/978-3-662-01674-9"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB5","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0004-3702(94)90026-4","article-title":"The transferable belief model","volume":"66","author":"Smets","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB6","doi-asserted-by":"crossref","unstructured":"R. Haenni, J. Kohlas, N. Lehmann, Probabilistic argumentation systems, in: J. Kohlas, S. Moral (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 5, Algorithms for Uncertainty and Defeasible Reasoning, Kluwer Academic Publishers, 2000","DOI":"10.1007\/978-94-017-1737-3_6"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB7","doi-asserted-by":"crossref","unstructured":"R. Haenni, N. Lehmann, Probabilistic argumentation systems: a new perspective on Dempster\u2013Shafer theory, International Journal of Intelligent Systems, Special Issue on Dempster\u2013Shafer Theory of Evidence, accepted for publication","DOI":"10.1007\/978-94-017-1737-3_6"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB8","unstructured":"N. Lehmann, Argumentation systems and belief functions, Ph.D. thesis, University of Fribourg, Switzerland, 2001"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB9","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0004-3702(90)90103-7","article-title":"Dempster\u2019s rule of combination is #P-complete","volume":"44","author":"Orponen","year":"1990","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0888-613X(02)00074-9_BIB10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/MEX.1986.4306979","article-title":"Propagating belief functions with local computations","volume":"1","author":"Shenoy","year":"1986","journal-title":"IEEE Expert"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB11","series-title":"Proceedings of the 7th Conference on Uncertainty in Artificial Intelligence","first-page":"414","article-title":"A Monte-Carlo algorithm for Dempster\u2013Shafer belief","author":"Wilson","year":"1991"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB12","first-page":"269","article-title":"Markov chain Monte-Carlo algorithms for the calculation of Dempster\u2013Shafer belief","volume":"vol. 1","author":"Moral","year":"1994"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB13","unstructured":"N. Wilson, S. Moral, Fast Markov chain algorithms for calculating Dempster\u2013Shafer belief, in: ECAI\u201996; 12th European Conference on Artificial Intelligence, Wiley, 1996, pp. 672\u2013678"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB14","doi-asserted-by":"crossref","unstructured":"S. Moral, A. Salmer\u00f3n, A Monte-Carlo algorithm for combining Dempster\u2013Shafer belief based on approximate pre-computation, in: A. Hunter, S. Parsons (Eds.), in: Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), vol. 1638 of LNAI, Springer, 1999, pp. 305\u2013315","DOI":"10.1007\/3-540-48747-6_28"},{"issue":"5","key":"10.1016\/S0888-613X(02)00074-9_BIB15","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1016\/S0020-7373(89)80032-X","article-title":"A computationally efficient approximation of Dempster\u2013Shafer theory","volume":"30","author":"Voorbraak","year":"1989","journal-title":"International Journal of Man-Machine Studies"},{"issue":"2","key":"10.1016\/S0888-613X(02)00074-9_BIB16","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0004-3702(93)90072-J","article-title":"Approximations for efficient computation in the theory of evidence","volume":"61","author":"Tessem","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB17","first-page":"896","article-title":"A framework for evidential-reasoning systems","volume":"vol. 2","author":"Lowrance","year":"1986"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB18","series-title":"Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI-96)","first-page":"73","article-title":"Approximations for decision making in the Dempster\u2013Shafer theory of evidence","author":"Bauer","year":"1996"},{"issue":"2-3","key":"10.1016\/S0888-613X(02)00074-9_BIB19","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/S0888-613X(97)00013-3","article-title":"Approximation algorithms and decision making in the Dempster\u2013Shafer theory of evidence\u2013\u2013an empirical study","volume":"17","author":"Bauer","year":"1997","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB20","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0888-613X(90)90015-T","article-title":"Consonant approximations of belief functions","volume":"4","author":"Dubois","year":"1990","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB21","series-title":"Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99)","first-page":"271","article-title":"Faithful approximations of belief functions","author":"Harmanec","year":"1999"},{"issue":"4","key":"10.1016\/S0888-613X(02)00074-9_BIB22","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218488501000880","article-title":"Inner and outer approximation of belief structures using a hierarchical clustering approach","volume":"9","author":"Den\u0153ux","year":"2001","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB23","series-title":"Proceedings of the 8th international conference","first-page":"125","article-title":"Inner and outer clustering approximations of belief structures","author":"Den\u0153ux","year":"2000"},{"issue":"2\u20133","key":"10.1016\/S0888-613X(02)00074-9_BIB24","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/S0888-613X(97)89135-9","article-title":"Binary join trees for computing marginals in the Shenoy\u2013Shafer architecture","volume":"17","author":"Shenoy","year":"1997","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB25","series-title":"Imprecise and Approximate Computation","article-title":"Approximate reasoning using anytime algorithms","author":"Zilberstein","year":"1995"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB26","first-page":"71","article-title":"Using anytime algorithms in intelligent systems","author":"Zilberstein","year":"1996","journal-title":"AI Magazine Fall"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB27","series-title":"Proceedings of the 1986 Workshop on Reasoning about Actions and Plans","first-page":"245","article-title":"Intractability and time-dependent planning","author":"Dean","year":"1987"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB28","series-title":"Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88)","first-page":"49","article-title":"An analysis of time-dependent planning","author":"Dean","year":"1988"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB29","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1016\/0378-3758(88)90097-3","article-title":"Uncertain evidence and artificial analysis","volume":"20","author":"Dempster","year":"1988","journal-title":"Journal of Statistical Planning and Inference"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB30","series-title":"Nonstandard logics for automated reasoning","first-page":"253","article-title":"Belief functions","author":"Smets","year":"1988"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB31","series-title":"ECSQARU\u201999","first-page":"256","article-title":"An alternative to outward propagation for Dempster\u2013Shafer belief functions","author":"Lehmann","year":"1999"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB32","unstructured":"G. Shafer, An axiomatic study of computation in hypertrees, Working Paper 232, School of Business, The University of Kansas, 1991"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB33","unstructured":"R. Haenni, N. Lehmann, Implementing belief function computations, International Journal of Intelligent Systems, Special Issue on Dempster\u2013Shafer Theory of Evidence, accepted for publication"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB34","series-title":"Readings in Uncertain Reasoning","first-page":"575","article-title":"Axioms for probability and belief function propagation","author":"Shafer","year":"1990"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB35","series-title":"Fuzzy Logic for the Management of Uncertainty","first-page":"83","article-title":"Valuation-based systems: A framework for managing uncertainty in expert systems","author":"Shenoy","year":"1992"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB36","series-title":"Uncertainty in Artificial Inteligence","first-page":"492","article-title":"Binary join trees","author":"Shenoy","year":"1996"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB37","series-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning","first-page":"5","article-title":"Computation in valuation algebras","author":"Shenoy","year":"2000"},{"issue":"1\u20132","key":"10.1016\/S0888-613X(02)00074-9_BIB38","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","article-title":"Bucket elimination: a unifying framework for reasoning","volume":"113","author":"Dechter","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB39","unstructured":"J. Kohlas, R. St\u00e4rk, Information algebras and information systems, Tech. Rep. 96\u201314, University of Fribourg, Institute of Informatics, 1996"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB40","unstructured":"J. Kohlas, Computational theory for information systems, Tech. Rep. 97\u201307, University of Fribourg, Institute of Informatics, 1997"},{"issue":"5","key":"10.1016\/S0888-613X(02)00074-9_BIB41","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/9.5.651","article-title":"Propositional information systems","volume":"9","author":"Kohlas","year":"1999","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB42","unstructured":"R. Almond, A. Kong, Optimality issues in constructing a Markov tree from graphical models, Research Report A-3, Department of Statistics, Harvard University, November 1991"},{"year":"1995","series-title":"Graphical Belief Modeling","author":"Almond","key":"10.1016\/S0888-613X(02)00074-9_BIB43"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB44","series-title":"Proceedings of the Fifth IPMU Conference","first-page":"166","article-title":"Heuristic algorithms for the triangulation of graphs","author":"Cano","year":"1995"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB45","unstructured":"R. Haenni, N. Lehmann, Efficient hypertree construction, Tech. Rep. 99\u201303, University of Fribourg, Institute of Informatics, 1999"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB46","unstructured":"R. Haenni, N. Lehmann, Belief function propagation based on Shenoy\u2019s fusion algorithm, in: IPMU\u201900, Proceedings of the 8th international conference, Madrid, Spain, 2000, pp. 1928\u20131931"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB47","first-page":"269","article-title":"Bayesian updating in causal probabilistic networks by local computations","volume":"4","author":"Jensen","year":"1990","journal-title":"SIAM Journal on Computing"},{"issue":"2","key":"10.1016\/S0888-613X(02)00074-9_BIB48","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","article-title":"Local computations with probabilities on graphical structures and their application to expert systems","volume":"50","author":"Lauritzen","year":"1988","journal-title":"Journal of the Royal Statistical Society"},{"issue":"4","key":"10.1016\/S0888-613X(02)00074-9_BIB49","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0888-613X(87)90024-7","article-title":"Propagating belief functions in qualitative Markov trees","volume":"1","author":"Shafer","year":"1987","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S0888-613X(02)00074-9_BIB50","unstructured":"K. Kask, R. Dechter, J. Larrosa, F. Cozman, Bucket-elimination for automated reasoning, Tech. rep., ICS, Universitiy of California, Irvine, 2001"},{"issue":"2","key":"10.1016\/S0888-613X(02)00074-9_BIB51","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S0004-3702(98)00047-2","article-title":"Some improvements to the Shenoy\u2013Shafer and Hugin architectures for computing marginals","volume":"102","author":"Schmidt","year":"1998","journal-title":"Artificial Intelligence"},{"year":"1987","series-title":"Zuverl\u00e4ssigkeit und Verf\u00fcgbarkeit","author":"Kohlas","key":"10.1016\/S0888-613X(02)00074-9_BIB52"}],"container-title":["International Journal of Approximate Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0888613X02000749?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0888613X02000749?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,10]],"date-time":"2024-12-10T08:11:28Z","timestamp":1733818288000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0888613X02000749"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":52,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S0888613X02000749"],"URL":"https:\/\/doi.org\/10.1016\/s0888-613x(02)00074-9","relation":{},"ISSN":["0888-613X"],"issn-type":[{"type":"print","value":"0888-613X"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}