{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:13:19Z","timestamp":1761675199039,"version":"3.32.0"},"reference-count":130,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,2,1]],"date-time":"1994-02-01T00:00:00Z","timestamp":760060800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ZOR - Mathematical Methods of Operations Research"],"published-print":{"date-parts":[[1994,2]]},"DOI":"10.1007\/bf01440734","type":"journal-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T11:35:34Z","timestamp":1113305734000},"page":"35-68","source":"Crossref","is-referenced-by-count":26,"title":["Theory of evidence ? A survey of its mathematical foundations, applications and computational aspects"],"prefix":"10.1007","volume":"39","author":[{"given":"J\ufffdrg","family":"Kohlas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul-Andr\ufffd","family":"Monney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1137\/0608024","volume":"8","author":"S Arnborg","year":"1987","unstructured":"Arnborg S, Corneil DG, Proskurowski A (1987) Complexity of Finding Embeddings in ak-Tree,SIAM J. Algebraic and Discrete Methods 8:277?284","journal-title":"SIAM J. Algebraic and Discrete Methods"},{"key":"CR2","unstructured":"Almond R (1991) Belief Function Models For Simple Series and Parallel Systems. Tech. Report 207, Department of Statistics, Univ. of Washington"},{"key":"CR3","volume-title":"Models for Incomplete Failure Data","author":"R Almond","year":"1992","unstructured":"Almond R (1992a) Models for Incomplete Failure Data. Statistical Sciences, Inc., Seattle, WA"},{"key":"CR4","unstructured":"Almond R (1992b) Using the Belief Package. Harvard Univ., Dept. of Statistics"},{"key":"CR5","volume-title":"Graphical-Belief: Project Overview","author":"R Almond","year":"1992","unstructured":"Almond R (1992c) Graphical-Belief: Project Overview. Statistical Sciences, Inc., Seattle, WA"},{"key":"CR6","unstructured":"Almond R, Kong A (1991) Optimality Issues in Constructing Markov Tree froem Graphical Models. Res. Rep. A-3, Harvard Univ., Dept. of Stat"},{"key":"CR7","unstructured":"Barlow RE, Proschan F (1975)Statistical Theory of Reliability and Life Testing. New York"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Bertele U, Brioschi F (1972)Nonserial Dynamic Programming. Academic Press","DOI":"10.1051\/ro\/197105V200871"},{"volume-title":"Uncertainty in Artifical Intelligence 6","year":"1991","key":"CR9","unstructured":"Bonissone PP, Henrion M, Kanal LN, Lemmer JF (eds.) (1991)Uncertainty in Artifical Intelligence 6. North Holland, Amsterdam"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Bouchon-Meunier B, Yager RR, Zadeh LA (eds.) (1991)Uncertainty in Knowledge Bases. Springer Lecture Notes in Computer Science, No. 521","DOI":"10.1007\/BFb0028090"},{"key":"CR11","unstructured":"Cardona L (1993) Chris: Die Behandlung unzuverl\u00e4ssiger Inferenznetze anhand der Theorie der Hinweise. Diss. Univ. Fribourg, Wirtschafts- und Sozialwiss. Fak"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Cardona L, Kohlas J, Monney PA (1991) The Reliability of Reasoning with Unreliable Rules and Propositions. In Kruse, Siegel 125?129","DOI":"10.1007\/3-540-54659-6_77"},{"key":"CR13","unstructured":"Cardona L, Kohlas J, Monney PA (1992) Inference with Unreliable Rules, Proc. IPMU'92, 21?24. To appear in the volume of the Lecture Notes in Computer Science series devoted to this conference"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"131","DOI":"10.5802\/aif.53","volume":"5","author":"G Choquet","year":"1953","unstructured":"Choquet G (1953) Theory of Capacities.Ann. Inst. Fourier (Grenoble) 5:131?295","journal-title":"Ann. Inst. Fourier (Grenoble)"},{"volume-title":"Uncertainty in AI 91","year":"1991","key":"CR15","unstructured":"D'Ambrosio B, Smets P, Bonissone PP (eds.) (1991)Uncertainty in AI 91. Morgan and Kaufman, San Mateo, Cal"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J Kleer De","year":"1986","unstructured":"De Kleer J (1986) An Assumption-Based TMS.Artifical Intelligence 28:127?162","journal-title":"Artifical Intelligence"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1214\/aoms\/1177699517","volume":"37","author":"A Dempster","year":"1966","unstructured":"Dempster A (1966) New Methods for Reasoning Towards Posterior Distributions Based on Sample Data.Annals Math. Stat. 37:355?374","journal-title":"Annals Math. Stat."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1214\/aoms\/1177698950","volume":"38","author":"A Dempster","year":"1967","unstructured":"Dempster A (1967a) Upper and Lower Probabilities Induced by a Multivalued Mapping.Annals Math. Stat. 38:325?339","journal-title":"Annals Math. Stat."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1093\/biomet\/54.3-4.515","volume":"54","author":"A Dempster","year":"1967","unstructured":"Dempster A (1967b) Upper and Lower Probability Inferences Based on a Sample from a Finite Univariate Population.Biometrika 54:515?528","journal-title":"Biometrika"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1111\/j.2517-6161.1968.tb00722.x","volume":"30","author":"A Dempster","year":"1968","unstructured":"Dempster A (1968a) A Generalization of Bayesian Inference.J. Royal Stat. Soc, Series B, 30:205?247","journal-title":"J. Royal Stat. Soc, Series B"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1214\/aoms\/1177698328","volume":"39","author":"A Dempster","year":"1968","unstructured":"Dempster A (1968b) Upper and Lower Probabilities Generated by a Random Closed Interval.Annals Math. Stat. 39:957?966","journal-title":"Annals Math. Stat."},{"key":"CR22","unstructured":"Dempster A (1990) Bayes, Fisher, and Belief Functions. In: Geisser, S.; Hodges, J.S.; Press, S.J.; Zellner, A. (eds.):Bayesian and Likelihood Methods in Statistics and Econometrics"},{"key":"CR23","unstructured":"Deutsch-McLeish M (1991) A Model for Non-Monotonie Reasoning Using Dempster's Rule. In Bonissone et al. 481?494"},{"key":"CR24","first-page":"167","volume-title":"Fuzzy Information and Decision Processes","author":"D Dubois","year":"1982","unstructured":"Dubois D, Prade H (1982) On Several Representations of an Uncertain Body of Evidence. In Gupta, M.M.; Sanchez, E. (Eds.)Fuzzy Information and Decision Processes. North Holland, Amsterdam, 167?181"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1080\/03081078608934937","volume":"12","author":"D Dubois","year":"1986","unstructured":"Dubois D, Prade H (1986) A Set-Theoretic View of Belief Functions.Int. Journal of General Systems 12:193?226","journal-title":"Int. Journal of General Systems"},{"key":"CR26","volume-title":"Th\u00e9orie des possibilit\u00e9s. Applications \u00e0 la repr\u00e9sentation des connaissances en informatique","author":"D Dubois","year":"1985","unstructured":"Dubois D, Prade H (1985)Th\u00e9orie des possibilit\u00e9s. Applications \u00e0 la repr\u00e9sentation des connaissances en informatique. Masson, Paris"},{"volume-title":"Uncertainty in AI 92","year":"1992","key":"CR27","unstructured":"Dubois D, Wellman MP, D'Ambrosio B, Smets P (Eds.) (1992)Uncertainty in AI 92. Morgan and Kaufman, San Mateo, Cal"},{"key":"CR28","first-page":"1161","volume":"89","author":"R Fagin","year":"1989","unstructured":"Fagin R, Halpern JY (1989) Uncertainty, Belief, and Probability. IJCAI-89:1161?1167","journal-title":"IJCAI"},{"key":"CR29","unstructured":"Fagin R, Halpern JY (1991) A New Approach to Updating Beliefs. In Bonissone. et al. (eds.) 347?374"},{"key":"CR30","doi-asserted-by":"crossref","DOI":"10.21236\/AD0708563","volume-title":"Utility Theory for Decision Making","author":"PC Fishburn","year":"1970","unstructured":"Fishburn PC (1970)Utility Theory for Decision Making. Wiley, New York"},{"key":"CR31","volume-title":"The Structure of Inference","author":"DAS Fraser","year":"1968","unstructured":"Fraser DAS (1968)The Structure of Inference. Wiley, New York"},{"key":"CR32","unstructured":"Fedrizzi M, Kacprzyk J, Yager RR (Eds.) (1993)Advances in the Dempster-Shafer Theory of Evidence. Wiley"},{"key":"CR33","volume-title":"Uncertainty Models for Knowledge-Based Systems","author":"IR Goodman","year":"1985","unstructured":"Goodman IR, Nguyen HT (1985)Uncertainty Models for Knowledge-Based Systems. North-Holland, Amsterdam"},{"key":"CR34","volume-title":"Conditional Logic in Expert Systems","author":"IR Goodman","year":"1991","unstructured":"Goodman IR, Gupta MM, Nguyen HT, Rogers GS (1991)Conditional Logic in Expert Systems. North-Holland, Amsterdam"},{"key":"CR35","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(85)90064-5","volume":"26","author":"J Gordon","year":"1985","unstructured":"Gordon J, Shortliffe EH (1985) A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space.Artificial Intelligence 26:323?357","journal-title":"Artificial Intelligence"},{"key":"CR36","volume-title":"Uncertain Information Processing in Expert Systems","author":"P Hajek","year":"1992","unstructured":"Hajek P, Havranek T, Jirousek R (1992)Uncertain Information Processing in Expert Systems. CRC Press, London"},{"key":"CR37","volume-title":"Lectures on Boolean Algebras","author":"P Halmos","year":"1969","unstructured":"Halmos P (1969)Lectures on Boolean Algebras. Van Nostrand-Reinhold, London"},{"key":"CR38","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0004-3702(92)90048-3","volume":"54","author":"JY Halpern","year":"1992","unstructured":"Halpern JY, Fagin R (1992) Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.Artifical Intelligence 54:275?317","journal-title":"Artifical Intelligence"},{"volume-title":"Uncertainty in Artifical Intelligence 5","year":"1990","key":"CR39","unstructured":"Henrion M, Shachter RD, Kanal LN, Lemmer JF (eds.) (1990)Uncertainty in Artifical Intelligence 5. North Holland, Amsterdam"},{"key":"CR40","unstructured":"Hestir K, Nguyen HT, Rogers GS (1991) A Random Set Formalism for Evidential Reasoning. In Goodman, I.R. et al. (eds.) 309?344"},{"key":"CR41","unstructured":"Hsia Y, Shenoy PP (1989) Mac Evidence: A Visual Evidential Language for Knowledge Based Systems. Working Paper No. 211, Univ. of Kansas, School of Business"},{"key":"CR42","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K Inoue","year":"1992","unstructured":"Inoue K (1992) Linear Resolution for Consequence Finding.Artifical Intelligence 56:301?353","journal-title":"Artifical Intelligence"},{"key":"CR43","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0167-6377(89)90010-2","volume":"8","author":"JY Jaffray","year":"1989","unstructured":"Jaffray JY (1989) Linear Utility Theory for Belief Functions.Operations Research Letter 8:107?112","journal-title":"Operations Research Letter"},{"key":"CR44","unstructured":"Jaffray JY (1992a) Dynamic Decision Making with Belief Functions.Cahiers de Recherche en Economie, Math\u00e9matiques et Applications, Univ. de Paris I, No. 92?15"},{"key":"CR45","first-page":"1144","volume":"22","author":"JY Jaffray","year":"1992","unstructured":"Jaffray JY (1992b) Bayesian Updating and Belief Functions.IEEE Trans. SMC 22:1144?1152","journal-title":"IEEE Trans. SMC"},{"key":"CR46","volume-title":"Decision Making with Belief Functions: Compatibility and Incompatibility with the Sure-Thing Principle","author":"JY Jaffray","year":"1992","unstructured":"Jaffray JY, Wakker P (1992) Decision Making with Belief Functions: Compatibility and Incompatibility with the Sure-Thing Principle. Unpubl. Paper, Univ. de Paris VI, LID Paris, France, University of Nijmegen, NICI Nijmegen, The Netherlands"},{"key":"CR47","first-page":"201","volume":"22","author":"R Kennes","year":"1992","unstructured":"Kennes R (1992) Computational Aspects of the M\u00f6bius Transform of a Graph.IEEE Trans. SMC 22:201?223","journal-title":"IEEE Trans. SMC"},{"key":"CR48","doi-asserted-by":"crossref","unstructured":"Kennes R, Smets P (1991a) Fast Algorithms for Dempster-Shafer Theory. In: Bouchon et al. 14?30","DOI":"10.1007\/BFb0028102"},{"key":"CR49","unstructured":"Kennes R, Smets P (1991b) Computational Aspects of the M\u00f6bius Transform. In. Bonissone et al. 401?416"},{"key":"CR50","unstructured":"Klawonn F, Smets P (1992) The Dynamic of Belief in the Transferable Belief Model and Specification-Generalization Matrices. In Dubois et al. 130?137"},{"key":"CR51","unstructured":"Klir GJ, Folger Ta (1988)Fuzzy sets, Uncertainty, and Information. Prentice-Hall."},{"key":"CR52","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-99891-0","volume-title":"Zuverl\u00e4ssigkeit und Verf\u00fcgbarkeit","author":"J Kohlas","year":"1987","unstructured":"Kohlas J (1987)Zuverl\u00e4ssigkeit und Verf\u00fcgbarkeit. Teubner, Stuttgart"},{"key":"CR53","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0377-2217(89)90430-X","volume":"40","author":"J Kohlas","year":"1989","unstructured":"Kohlas J (1989) Modeling Uncertainty with Belief Functions in Numerical Models.European Journal of Operational Research 40:377?388","journal-title":"European Journal of Operational Research"},{"key":"CR54","volume-title":"Tech. Rep. No. 173","author":"J Kohlas","year":"1990","unstructured":"Kohlas J (1990) A Mathematical Theory of Hints. Inst. for Automation and Op. Res., University of Fribourg, Switzerland, Tech. Rep. No. 173 (to appear inInt. J. General Systems under the title: Support and Plausibility Functions Induced by Filter-Valued Mappings)."},{"key":"CR55","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BF02204829","volume":"32","author":"J Kohlas","year":"1991","unstructured":"Kohlas J (1991a) The Reliability of Reasoning with Unreliable Arguments.Annals of Operations Research 32:76?113","journal-title":"Annals of Operations Research"},{"key":"CR56","doi-asserted-by":"crossref","unstructured":"Kohlas J (1991b) Describing Uncertainty in Dynamical Systems by Uncertain Restrictions. Article in: Di Masi G.B. et al. (Eds.)Modeling, Estimation and Control of Systems with Uncertainty. Birkh\u00e4user","DOI":"10.1007\/978-1-4612-0443-5_14"},{"key":"CR57","volume-title":"Tech. Rep. No. 194","author":"J Kohlas","year":"1992","unstructured":"Kohlas J (1992) Evidential Reasoning About Parametric Models. Inst. for Automation and Op. Res., University of Fribourg, Switzerland, Tech. Rep. No. 194"},{"key":"CR58","volume-title":"Tech. Rep. No. 186","author":"J Kohlas","year":"1991","unstructured":"Kohlas J, Monney PA (1991a) Representation of Evidence by Hints. Inst. for Automation and Op. Res., University of Fribourg, Switzerland, Tech. Rep. No. 186 (to be the published in Fedrizzi M. et al. (Eds.)Advances in the Dempster-Shafer Theory of Evidence. Wiley)"},{"key":"CR59","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1016\/0888-613X(91)90001-3","volume":"5","author":"J Kohlas","year":"1991","unstructured":"Kohlas J, Monney PA (1991b) Propagating Belief Functions Through Constraint Systems.Int. J. Approximate Reasoning 5:433?461 (a shorter version is published in Bouchon et al., 1991, 50?57)","journal-title":"Int. J. Approximate Reasoning"},{"key":"CR60","volume-title":"Tech. Rep. No. 208","author":"J Kohlas","year":"1993","unstructured":"Kohlas J, Monney PA (1993) Probabilistic Assumption-Based Reasoning. Inst. for Automation and Op. Res., University of Fribourg, Switzerland, Tech. Rep. No. 208"},{"key":"CR61","unstructured":"Kong A (1986) Multivariate Belief Functions and Graphical Models. Doct. diss. Harvard Univ., Dept. of Stat"},{"key":"CR62","doi-asserted-by":"crossref","unstructured":"Kruse R, Schwecke E, Heinsohn J (1991)Uncertainty and Vagueness in Knowledge-Based Systems. Springer","DOI":"10.1007\/978-3-642-76702-9"},{"key":"CR63","doi-asserted-by":"crossref","unstructured":"Kruse R, Siegel P (eds.) (1991) Symbolic and Quantitative Approaches to Uncertainty. Springer Lecture Notes in Computer Science No. 548","DOI":"10.1007\/3-540-54659-6"},{"key":"CR64","unstructured":"Laskey KB, Lehner PE (1988) Belief Maintenance: An Integrated Approach to Uncertainty Management. Proc. Amer. Ass. for AI, 210?214 (reprinted in Shafer, G.; Pearl, J. (eds.). (1990), 694?698)"},{"key":"CR65","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"50","author":"SL Lauritzen","year":"1988","unstructured":"Lauritzen SL, Spiegelhalter DJ (1988) Local Computations with Probabilities on Graphical Structures and their Application to Expert Systems,J. Royal Stat. Soc., Series B, 50:157?224","journal-title":"J. Royal Stat. Soc., Series B"},{"key":"CR66","doi-asserted-by":"crossref","unstructured":"Lohmann G (1991) An Evidential Reasoning Approach to the Classification of Satellite Images. In Kruse, R.; Siegel, P. 227?231","DOI":"10.1007\/3-540-54659-6_93"},{"key":"CR67","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/0378-3758(88)90098-5","volume":"20","author":"JD Lowrance","year":"1988","unstructured":"Lowrance JD (1988) Automated Argument Construction.J. Stat. Planning Inference 20:369?387","journal-title":"J. Stat. Planning Inference"},{"key":"CR68","unstructured":"Lowrance JD, Garvey TD, Strat TM (1986) A Framework for Evidential Reasoning Systems AAAI-86:869?903"},{"key":"CR69","unstructured":"Maier D (1983)The Theory of Relational Data Bases. Computer Science Press"},{"key":"CR70","volume-title":"Random Sets and Integral Geometry","author":"G Matheron","year":"1975","unstructured":"Matheron G (1975)Random Sets and Integral Geometry. Wiley, New York"},{"key":"CR71","unstructured":"Mellouli K (1987) On the Propagation of Beliefs in Networks Using the Dempster-Shafer Theory of Evidence. Doct. Diss., Univ. of Kansas, School of Business"},{"key":"CR72","volume-title":"Doctoral Thesis","author":"PA Monney","year":"1991","unstructured":"Monney PA (1991a)Le raisonnement temporel et g\u00e9om\u00e9trique sous incertitude. Doctoral Thesis, Math. Institute, Univ. Fribourg, Switzerland"},{"key":"CR73","doi-asserted-by":"crossref","unstructured":"Monney PA (1991b) Planar Geometric Reasoning With the Theory of Hints. In Bieri H., Noltemeier H. (Eds.)Computational Geometry. Methods, Algorithms and Applications. Lecture Notes in Computer Science 553:141?159","DOI":"10.1007\/3-540-54891-2_11"},{"key":"CR74","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1016\/0022-247X(78)90161-0","volume":"65","author":"HT Nguyen","year":"1978","unstructured":"Nguyen HT (1978) On Random Sets and Belief Functions.J. Math. Analysis and Applications 65:531?542","journal-title":"J. Math. Analysis and Applications"},{"key":"CR75","unstructured":"Nguyen HT, Smets P (1991) On Dynamics of Cautions Belief and Conditional Objects. Working Paper, TR\/IRIDIA\/91.13. To appear inInt. J. of Approximate Reasoning"},{"key":"CR76","unstructured":"Oliver RM, Smith JQ (Eds.) (1990)Influence Diagrams, Belief Nets and Decision Analysis. Wiley"},{"key":"CR77","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0004-3702(90)90103-7","volume":"44","author":"P Orponen","year":"1990","unstructured":"Orponen P (1990) Dempster's Rule of Combination is #P-complete.Artificial Intelligence 44: 245?253","journal-title":"Artificial Intelligence"},{"key":"CR78","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J Pearl","year":"1988","unstructured":"Pearl J (1988)Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufman, San Mateo, Cal"},{"key":"CR79","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0888-613X(90)90013-R","volume":"4","author":"J Pearl","year":"1990","unstructured":"Pearl J (1990) Reasoning with Belief Functions: An Analysis of Compatibility.Int. J. Approximate Reasoning 4:363?389","journal-title":"Int. J. Approximate Reasoning"},{"key":"CR80","unstructured":"Provan GM (1988) Solving Diagnostic Problems Using Extended Truth Maintenance Systems. Proc. European Conf on Art. Int. 547?552"},{"key":"CR81","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/0888-613X(90)90016-U","volume":"4","author":"GM Provan","year":"1990","unstructured":"Provan GM (1990a) A Logic-Based Analysis of Dempster-Shafer Theory.Int. J. Approximate Reasoning 4:451?495","journal-title":"Int. J. Approximate Reasoning"},{"key":"CR82","doi-asserted-by":"crossref","unstructured":"Provan GM (1990b) The Application of Dempster-Shafer Theory to a Logic-Based Visual Recognition System. In Henrion M. et al. 389?405","DOI":"10.1016\/B978-0-444-88738-2.50037-3"},{"key":"CR83","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) A Theory of Diagnosis from First Principles.Artifical Intelligence 32:57?95","journal-title":"Artifical Intelligence"},{"key":"CR84","unstructured":"Reiter R, de Kleer J (1987) Foundations of Assumption-Based Truth Maintenance Systems. Proc. Amer. Assoc. A.I. 183?188"},{"key":"CR85","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1016\/0022-247X(70)90282-9","volume":"32","author":"DJ Rose","year":"1970","unstructured":"Rose DJ (1970) Triangulated Graphs and the Elimination Process.J. Math. Anal. and Appl. 32:597?609","journal-title":"J. Math. Anal. and Appl."},{"key":"CR86","volume-title":"M\u00e9thodologie Multicrit\u00e8re d'Aide \u00e0 la D\u00e9cision","author":"B Roy","year":"1985","unstructured":"Roy B (1985)M\u00e9thodologie Multicrit\u00e8re d'Aide \u00e0 la D\u00e9cision. Editions Economica, Paris"},{"key":"CR87","volume-title":"Tech. Note 408","author":"EH Ruspini","year":"1987","unstructured":"Ruspini EH (1987) The Logical Foundations of Evidential Reasoning. Tech. Note 408, AI Center, SRI International Menlo Park, Calif"},{"key":"CR88","unstructured":"Saffiotti A (1991a) Using Dempster-Shafer Theory in Knowledge Representation. In: Bonissone et al. 417?431"},{"key":"CR89","doi-asserted-by":"crossref","unstructured":"Saffiotti A (1991b) A Hybrid Belief System for Doubtful Agents. In: Bouchon et al. 393?402","DOI":"10.1007\/BFb0028126"},{"key":"CR90","doi-asserted-by":"crossref","unstructured":"Saffiotti A, Umkehrer E (1991) Pulcinella: A General Tool for Propagating Uncertainty in Valuation Networks. Proc. 7-th Conf on Uncertainty in AI, Los Angeles Ca","DOI":"10.1016\/B978-1-55860-203-8.50046-2"},{"key":"CR91","unstructured":"Saffiotti A, Umkehrer E (1992) Automatic Generation of Valuation networks From General Clauses. Proc. IPMU'92, 341?345"},{"key":"CR92","volume-title":"Doctoral Thesis","author":"JP Schaller","year":"1991","unstructured":"Schaller JP (1991)Multiple Criteria Decision Aid Under Incomplete Information. Doctoral Thesis, Economic Sciences Faculty, Univ. of Fribourg, Switzerland"},{"key":"CR93","doi-asserted-by":"crossref","unstructured":"Shafer G (1976a)A Mathematical Theory of Evidence. Princeton University Press","DOI":"10.1515\/9780691214696"},{"key":"CR94","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/978-94-010-1436-6_11","volume-title":"Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science. Vol. II","author":"G Shafer","year":"1976","unstructured":"Shafer G (1976b) A Theory of Statistical Evidence. In: Harper, Hooker (eds.): Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science. Vol. II, Reidel, Dortrecht, 365?463"},{"key":"CR95","unstructured":"Shafer G (1978) Dempster's Rule of Combination. Unpublished Manuscript"},{"key":"CR96","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1214\/aop\/1176994941","volume":"7","author":"G Shafer","year":"1979","unstructured":"Shafer G (1979) Allocations of Probability.Annals of Prob, 7:827?839","journal-title":"Annals of Prob"},{"key":"CR97","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1111\/j.2517-6161.1982.tb01211.x","volume":"44","author":"G Shafer","year":"1982","unstructured":"Shafer G (1982a) Belief Functions and Parametric Models.J. Royal Statist. Soc. B, 44:322?352","journal-title":"J. Royal Statist. Soc. B"},{"key":"CR98","unstructured":"Shafer G (1982b) Constructive Decision Theory. Univ. of Kansas Dept. of Math. Working Paper"},{"key":"CR99","first-page":"51","volume-title":"Analysis of Fuzzy Information, vol I: Mathematics and Logic","author":"G Shafer","year":"1987","unstructured":"Shafer G (1987) Belief Functions and Possibility Measures. In Bezdek (ed.): Analysis of Fuzzy Information, vol I: Mathematics and Logic, CRC Press, Boca Raton, 51?84"},{"key":"CR100","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0888-613X(90)90012-Q","volume":"4","author":"G Shafer","year":"1990","unstructured":"Shafer G (1990) Perspectives on the Theory and Practice of Belief Functions.Int. J. Approximate Reasoning 4:323?362","journal-title":"Int. J. Approximate Reasoning"},{"key":"CR101","unstructured":"Shafer G (1991) An Axiomatic Study of Computations in Hypertrees. Working Paper 232, Business School, Univ. of Kansas"},{"key":"CR102","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1016\/0888-613X(92)90035-X","volume":"6","author":"G Shafer","year":"1992","unstructured":"Shafer G (1992) Rejoinders to Comments on ?Perspectives on the Theory and Practice of Belief Functions?.Int. J. Approximate Reasoning 6:445?480","journal-title":"Int. J. Approximate Reasoning"},{"key":"CR103","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0004-3702(87)90040-3","volume":"33","author":"G Shafer","year":"1987","unstructured":"Shafer G, Logan R (1987) Implementing Dempster's Rule for Hierarchical Evidence.Artificial Intelligence 33:271?289","journal-title":"Artificial Intelligence"},{"volume-title":"Readings in Uncertain Reasoning","year":"1990","key":"CR104","unstructured":"Shafer G, Pearl J (eds.) (1990)Readings in Uncertain Reasoning. Morgan-Kaufman Publ. San Mateo, Cal"},{"key":"CR105","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0888-613X(87)90024-7","volume":"1","author":"G Shafer","year":"1987","unstructured":"Shafer G, Shenoy PP, Mellouli K (1987) Propagating Belief Functions in Qualitative Markov Trees.Int. J. Approximate Reasoning 1:349?400","journal-title":"Int. J. Approximate Reasoning"},{"key":"CR106","unstructured":"Shafer G, Srivastava RP (1990) The Bayesian and Belief Function Formalisms: A General Perspective for Auditing, Auditing.J. Pract. Theory, 9 (Suppl.)"},{"key":"CR107","doi-asserted-by":"crossref","unstructured":"Shenoy PP, Shafer G (1990) Axioms for Probability and Belief-Function Propagation. In Shafer, Pearl 575?610","DOI":"10.1016\/B978-0-444-88650-7.50019-6"},{"key":"CR108","unstructured":"Siegel P (1987) Repr\u00e9sentation et utilisation de la connaissance en calcul propositionnel. Ph. D. thesis, Univ. de Marseilles II"},{"key":"CR109","first-page":"330","volume":"134","author":"P Smets","year":"1979","unstructured":"Smets P (1979) Mod\u00e8le Quantitatif du Diagnostic M\u00e9dical.Bulletin de l'Acad\u00e9mie de M\u00e9decine de Belgique 134:330?343","journal-title":"Bulletin de l'Acad\u00e9mie de M\u00e9decine de Belgique"},{"key":"CR110","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0165-0114(81)90054-3","volume":"5","author":"P Smets","year":"1981","unstructured":"Smets P (1981) Medical Diagnosis: Fuzzy Sets and Degrees of Belief.Fuzzy Sets and Systems 5:259?266","journal-title":"Fuzzy Sets and Systems"},{"key":"CR111","first-page":"253","volume-title":"Non-Standard Logics for Automated Reasoning","author":"P Smets","year":"1988","unstructured":"Smets P (1988) Belief Functions. In Smets, P.; Mamdani, A.; Dubois, D.; Prade, H.:Non-Standard Logics for Automated Reasoning. Academic Press, London, 253?286"},{"key":"CR112","unstructured":"Smets P (1989) Constructing the Pignistic Probability Function in a Context of Uncertainty. Proc. of the Fifth Workshop on Uncertainty in AI, Windsor, Canada, 319?326. Also in Henrion et al. 29?39"},{"key":"CR113","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1109\/34.55104","volume":"12","author":"P Smets","year":"1990","unstructured":"Smets P (1990) The Combination of Evidence in the Transferable Belief Model.IEEE Trans. Pattern Anal. and Machine Int. 12:447?458","journal-title":"IEEE Trans. Pattern Anal. and Machine Int."},{"key":"CR114","doi-asserted-by":"crossref","unstructured":"Smets P (1992) The Nature of the Unnormalized Beliefs Encountered in the Transferable Belief Model. In Dubois et al. 292?297","DOI":"10.1016\/B978-1-4832-8287-9.50044-X"},{"key":"CR115","unstructured":"Smets P, Hsia YT (1991) Default Reasoning and the Transferable Belief Model. In Bonissone et al. 495?504"},{"key":"CR116","unstructured":"Smets P, Kennes R (1990) The Transferable Belief Model. IRIDIA Technical Report TR\/IRIDIA\/90-14.2, Bruxelles"},{"key":"CR117","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/0888-613X(90)90014-S","volume":"4","author":"TM Strat","year":"1990","unstructured":"Strat TM (1990) Decision Analysis Using Belief Functions.Int. J. Approximate Reasoning 4:391?418","journal-title":"Int. J. Approximate Reasoning"},{"key":"CR118","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1137\/0213035","volume":"13","author":"RE Tarjan","year":"1984","unstructured":"Tarjan RE, Yannakakis M (1984) Simple Linear Time Algorithms to Test Chordality of Graphs., Test Ayclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs.SIAM J. Computing 13:566?579","journal-title":"SIAM J. Computing"},{"key":"CR119","unstructured":"Thoma HM (1991) Belief Function Computations. In Goodman, I.R. et a. (eds.) 269?308"},{"key":"CR120","volume-title":"Tech. Rep. No. 209","author":"Vakili","year":"1993","unstructured":"Vakili (1993) Approximation of Hints. Inst. for Automation and Op. Res., University of Fribourg, Switzerland, Tech. Rep. No. 209"},{"key":"CR121","volume-title":"Theory of Games and Economic Behavior","author":"J Neumann von","year":"1944","unstructured":"von Neumann J, Morgenstern O (1944)Theory of Games and Economic Behavior. Princeton Univ. Press, Princeton, NJ"},{"key":"CR122","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1214\/aos\/1176347511","volume":"18","author":"LA Wasserman","year":"1990","unstructured":"Wasserman LA (1990a) Prior Envelopes Based on Belief Functions.Annals of Stat. 18:454?464","journal-title":"Annals of Stat."},{"key":"CR123","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2307\/3315449","volume":"18","author":"LA Wasserman","year":"1990","unstructured":"Wasserman LA (1990b) Belief Functions and Statistical Inference.Can. J. Stat. 18:183?196","journal-title":"Can. J. Stat."},{"key":"CR124","first-page":"342","volume":"44","author":"PM Williams","year":"1982","unstructured":"Williams PM (1982) Discussion of Shafer (1982a),J. Royal Statist. Soc. B, 44, 342","journal-title":"J. Royal Statist. Soc. B"},{"key":"CR125","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1117\/12.7973833","volume":"25","author":"LP Wesley","year":"1986","unstructured":"Wesley LP (1986) Evidential Knowledge-Based Computer Vision.Optical Engineering 25:363?379","journal-title":"Optical Engineering"},{"key":"CR126","unstructured":"Xu H (1992) An Efficient Tool for Reasoning with Belief Functions. Proc. IPMU'92, 65?68"},{"key":"CR127","volume-title":"Tech. Report MII-512","author":"RR Yager","year":"1985","unstructured":"Yager RR (1985) The Entailment Principle for Dempster-Shafer Granule. Tech. Report MII-512, Iona College, New Rochelle, NY"},{"key":"CR128","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1145\/63485.63488","volume":"32","author":"J Yen","year":"1989","unstructured":"Yen J (1989) Gertis: A Dempster-Shafer Approach to Diagnosing Hierarchical Hypotheses.Communications ACM 32:573?585","journal-title":"Communications ACM"},{"key":"CR129","unstructured":"Zarley D, Hsia, YT, Shafer G (1988): Evidential Reasoning Using Delief, Proc. Nat. Conf, A.I., 1988; Reprinted in Shafer, Pearl, 1990, 619?623"},{"key":"CR130","unstructured":"Zhang L (1988): Studies on Finding Hypertree Covers for Hypergraphs. Working Paper No. 198, Univ. of Kansas, School of Business"}],"container-title":["ZOR Zeitschrift f\ufffdr Operations Research Mathematical Methods of Operations Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01440734.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01440734\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01440734","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T15:18:54Z","timestamp":1735658334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01440734"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,2]]},"references-count":130,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,2]]}},"alternative-id":["BF01440734"],"URL":"https:\/\/doi.org\/10.1007\/bf01440734","relation":{},"ISSN":["0340-9422","1432-5217"],"issn-type":[{"type":"print","value":"0340-9422"},{"type":"electronic","value":"1432-5217"}],"subject":[],"published":{"date-parts":[[1994,2]]}}}