{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:07:11Z","timestamp":1762099631711},"reference-count":66,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2000,9,1]],"date-time":"2000-09-01T00:00:00Z","timestamp":967766400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":4710,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2000,9]]},"DOI":"10.1016\/s0004-3702(00)00041-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:34:17Z","timestamp":1027607657000},"page":"1-69","source":"Crossref","is-referenced-by-count":56,"title":["Belief functions and default reasoning"],"prefix":"10.1016","volume":"122","author":[{"given":"S.","family":"Benferhat","sequence":"first","affiliation":[]},{"given":"A.","family":"Saffiotti","sequence":"additional","affiliation":[]},{"given":"P.","family":"Smets","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(00)00041-2_ID007","series-title":"Aspects of Inductive Logic","first-page":"253","article-title":"Probability and the logic of conditionals","author":"Adams","year":"1966"},{"key":"10.1016\/S0004-3702(00)00041-2_ID008","series-title":"The Logic of Conditionals","author":"Adams","year":"1975"},{"issue":"1","key":"10.1016\/S0004-3702(00)00041-2_ID009","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","article-title":"Combining knowledge bases consisting in first order theories","volume":"Vol. 8","author":"Baral","year":"1992","journal-title":"Comput. Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID010","series-title":"Proc. IJCAI'93, Chamb\u00e9ry, France","first-page":"640","article-title":"Inconsistency management and prioritized syntax-based entailment","author":"Benferhat","year":"1993"},{"key":"10.1016\/S0004-3702(00)00041-2_ID011","series-title":"Proc. Sixth Conf. on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy","article-title":"A general approach for inconsistency handling and merging information in prioritized knowledge bases","author":"Benferhat","year":"1998"},{"key":"10.1016\/S0004-3702(00)00041-2_ID012","series-title":"Proc. 3rd Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA","first-page":"673","article-title":"Representing default rules in possibilistic logic","author":"Benferhat","year":"1992"},{"key":"10.1016\/S0004-3702(00)00041-2_ID013","doi-asserted-by":"crossref","first-page":"873","DOI":"10.1093\/logcom\/9.6.873","article-title":"Possibilistic and standard probabilistic semantics of conditional knowledge bases","volume":"Vol. 9","author":"Benferhat","year":"1999","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0004-3702(00)00041-2_ID014","series-title":"Proc. IJCAI-99, Stockholm, Sweden","article-title":"Maximum entropy and variable strength defaults","author":"Bourne","year":"1999"},{"key":"10.1016\/S0004-3702(00)00041-2_ID015","series-title":"Proc. 9th Canadian Conf. on Artificial Intelligence (AI'92), Vancouver, BC, May 1992","first-page":"140","article-title":"What is a Default priority?","author":"Boutilier","year":"1992"},{"key":"10.1016\/S0004-3702(00)00041-2_ID016","series-title":"Proc. IJCAI'89, Detroit, MI","first-page":"1043","article-title":"Preferred subtheories: An extended logical framework for default reasoning","author":"Brewka","year":"1989"},{"key":"10.1016\/S0004-3702(00)00041-2_ID017","series-title":"Proc. 4th Conf. on Principles of Knowledge Representation and Reasoning (KR'94), Bonn, Germany","first-page":"146","article-title":"A general approach to specificity in default reasoning","author":"Delgrande","year":"1994"},{"key":"10.1016\/S0004-3702(00)00041-2_ID018","first-page":"439","article-title":"Possibilistic logic","volume":"Vol. 3","author":"Dubois","year":"1994"},{"key":"10.1016\/S0004-3702(00)00041-2_ID019","series-title":"Fuzzy Logic for the Management of Uncertainty","first-page":"335","article-title":"Inconsistency in possibilistic knowledge bases \u2013 To live or not live with it","author":"Dubois","year":"1992"},{"key":"10.1016\/S0004-3702(00)00041-2_ID020","series-title":"Possibility Theory \u2013 An Approach to Computerized Processing of Uncertainty","author":"Dubois","year":"1988"},{"key":"10.1016\/S0004-3702(00)00041-2_ID021","series-title":"Conditionals: From Philosophy to Computer Sciences","first-page":"311","article-title":"Conditional objects, possibility theory and default rules","author":"Dubois","year":"1995"},{"key":"10.1016\/S0004-3702(00)00041-2_ID022","series-title":"Proc. 10th Conference on Uncertainty in Artificial Intelligence (UAI-94), Seattle, WA","first-page":"204","article-title":"Penalty logic and its link with Dempster\u2013Shafer theory","author":"Dupin de Saint Cyr","year":"1994"},{"key":"10.1016\/S0004-3702(00)00041-2_ID023","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR'2000), Breckenridge, CO, April 2000","first-page":"62","article-title":"Complexity results for default reasoning from conditional knowledge bases","author":"Eiter","year":"2000"},{"key":"10.1016\/S0004-3702(00)00041-2_ID024","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","article-title":"Using crude probability estimates to guide diagnosis","volume":"Vol. 45","author":"de Kleer","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID025","series-title":"Logics and Models of Concurrent Systems","first-page":"439","article-title":"Theoretical foundations for non-monotonic reasoning in expert systems","author":"Gabbay","year":"1985"},{"key":"10.1016\/S0004-3702(00)00041-2_ID026","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(94)90017-5","article-title":"Nonmonotonic inference based on expectations","volume":"Vol. 65","author":"G\u00e4rdenfors","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID027","series-title":"Default Reasoning: Causal and Conditional Theories","author":"Geffner","year":"1992"},{"key":"10.1016\/S0004-3702(00)00041-2_ID028","series-title":"Proc. 8th International Workshop on Non-Monotonic Reasoning (NMR'2000), Special Session on Uncertainty Frameworks in Nonmonotonic Reasoning, Breckenridge, CO","article-title":"Precise propagation of upper and lower probability bounds in system P","author":"Gilio","year":"2000"},{"key":"10.1016\/S0004-3702(00)00041-2_ID029","series-title":"Qualitative Probabilities: A Normative Framework for Commonsense Reasoning","author":"Goldszmidt","year":"1992"},{"key":"10.1016\/S0004-3702(00)00041-2_ID030","series-title":"Proc. AAAI-91, Anaheim, CA","first-page":"399","article-title":"System Z+ : A formalism for reasoning with variable-strength defaults","author":"Goldszmidt","year":"1991"},{"key":"10.1016\/S0004-3702(00)00041-2_ID031","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(95)00090-9","article-title":"Qualitative probabilities for default reasoning, belief revision, and causal modeling","volume":"Vol. 84","author":"Goldszmidt","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID032","series-title":"A belief-function semantics for cautious non-monotonicity","author":"Hsia","year":"1991"},{"key":"10.1016\/S0004-3702(00)00041-2_ID033","series-title":"Foundations of Infinitesimal Calculus","author":"Keisler","year":"1976"},{"key":"10.1016\/S0004-3702(00)00041-2_ID034","series-title":"Proc. 7th Conf. on Uncertainty in AI, Los Angeles, CA","first-page":"174","article-title":"Evidential reasoning in a categorial perspective: Conjunction and disjunction of belief functions","author":"Kennes","year":"1991"},{"key":"10.1016\/S0004-3702(00)00041-2_ID035","series-title":"Proc. 8th Conf. on Uncertainty in AI","first-page":"130","article-title":"The dynamics of belief in the transferable belief model","author":"Klawonn","year":"1991"},{"key":"10.1016\/S0004-3702(00)00041-2_ID036","series-title":"A Mathematical Theory of Hints. An Approach to Dempster-Shafer Theory of Evidence","author":"Kohlas","year":"1995"},{"key":"10.1016\/S0004-3702(00)00041-2_ID037","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Non-monotonic reasoning, preferential models and cumulative logics","volume":"Vol. 44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID038","series-title":"Proc. UAI'94, Seattle, WA","first-page":"391","article-title":"Syntax-based default reasoning as probabilistic model-based diagnosis","author":"Lang","year":"1994"},{"key":"10.1016\/S0004-3702(00)00041-2_ID039","series-title":"Proc. 1st Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR'89), Toronto, Ont.","first-page":"212","article-title":"What does a conditional knowledge base entail?","author":"Lehmann","year":"1989"},{"key":"10.1016\/S0004-3702(00)00041-2_ID040","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01535841","article-title":"Another perspective on default reasoning","volume":"Vol. 15","author":"Lehmann","year":"1995","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID041","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","article-title":"What does a conditional knowledge base entail?","volume":"Vol. 55","author":"Lehmann","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID042","series-title":"Non-Monotonic Reasoning, Proc. of the 2nd Internat. Workshop, Grassau, FRG, June 1988","first-page":"1","article-title":"General theory of cumulative inference","volume":"Vol. 346","author":"Makinson","year":"1989"},{"key":"10.1016\/S0004-3702(00)00041-2_ID043","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1090\/S0002-9904-1977-14398-X","article-title":"Internal set theory: A new approach to non-standard analysis","volume":"Vol. 83","author":"Nelson","year":"1977","journal-title":"Bull. Amer. Math. Soc."},{"key":"10.1016\/S0004-3702(00)00041-2_ID044","unstructured":"S. Parsons, R.A. Bourne, On proofs in System P, Internat. J. Uncertainty, Fuzziness and Knowledge Base Systems, World Scientific Company, Singapore, to appear"},{"key":"10.1016\/S0004-3702(00)00041-2_ID045","series-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1988"},{"key":"10.1016\/S0004-3702(00)00041-2_ID046","series-title":"Proc. Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA","first-page":"121","article-title":"System Z: A natural ordering of defaults with tractable applications to default reasoning","author":"Pearl","year":"1990"},{"key":"10.1016\/S0004-3702(00)00041-2_ID047","series-title":"Proc. IJCAI-93, Chamb\u00e9ry, France","first-page":"606","article-title":"Average-case analysis of a search algorithm for estimating prior and posterior probabilities in Bayesian networks with extreme probabilities","author":"Poole","year":"1993"},{"key":"10.1016\/S0004-3702(00)00041-2_ID048","series-title":"Proc. IJCAI-91, Sydney, Australia","first-page":"525","article-title":"Propositional nonmonotonic reasoning and inconsistency in symmetric neural networks","author":"Pinkas","year":"1991"},{"key":"10.1016\/S0004-3702(00)00041-2_ID049","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"Vol. 13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID050","series-title":"Proc. IJCAI-81, Vancouver, BC","first-page":"270","article-title":"On interacting defaults","author":"Reiter","year":"1981"},{"key":"10.1016\/S0004-3702(00)00041-2_ID051","series-title":"Non-standard Analysis","author":"Robinson","year":"1966"},{"key":"10.1016\/S0004-3702(00)00041-2_ID052","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0004-3702(98)00042-3","article-title":"Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic","volume":"Vol. 102","author":"Schurz","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID053","series-title":"A Mathematical Theory of Evidence","author":"Shafer","year":"1976"},{"key":"10.1016\/S0004-3702(00)00041-2_ID054","series-title":"Reasoning about Change \u2013 Time and Causation from the Standpoint of Artificial Intelligence","author":"Shoham","year":"1988"},{"key":"10.1016\/S0004-3702(00)00041-2_ID055","series-title":"Non-Standard Logics for Automated Reasoning","first-page":"253","article-title":"Belief functions","author":"Smets","year":"1988"},{"key":"10.1016\/S0004-3702(00)00041-2_ID056","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1109\/34.55104","article-title":"The combination of evidence in the transferable belief model","volume":"Vol. 12","author":"Smets","year":"1990","journal-title":"IEEE Trans. Pattern Anal. Machine Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID057","series-title":"Proc. IPMU'92, Palma de Mallorca, Spain","first-page":"789","article-title":"The concept of distinct evidence","author":"Smets","year":"1992"},{"key":"10.1016\/S0004-3702(00)00041-2_ID058","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0004-3702(96)00054-9","article-title":"The normative representation of quantified beliefs by belief functions","volume":"Vol. 92","author":"Smets","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID059","series-title":"Qualitative and Quantitative Practical Reasoning","first-page":"131","article-title":"The \u03b1 -junctions: Combination operators applicable to belief functions","author":"Smets","year":"1997"},{"key":"10.1016\/S0004-3702(00)00041-2_ID060","first-page":"267","article-title":"The transferable belief model for quantified belief representation","volume":"Vol. 1","author":"Smets","year":"1998"},{"key":"10.1016\/S0004-3702(00)00041-2_ID061","series-title":"Uncertainty in Artificial Intelligence 6","first-page":"495","article-title":"Default reasoning and the transferable belief model","author":"Smets","year":"1991"},{"key":"10.1016\/S0004-3702(00)00041-2_ID062","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0004-3702(94)90026-4","article-title":"The transferable belief model","volume":"Vol. 66","author":"Smets","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID063","series-title":"Standard probability distributions described by rational default entailment","author":"Snow","year":"1996"},{"key":"10.1016\/S0004-3702(00)00041-2_ID064","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/S0004-3702(99)00054-5","article-title":"Diverse confidence levels in a probabilistic semantics for conditional logics","volume":"Vol. 113","author":"Snow","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00041-2_ID065","series-title":"Causation in Decision, Belief Change, and Statistics","first-page":"105","article-title":"Ordinal conditional functions: A dynamic theory of epistemic states","author":"Spohn","year":"1988"},{"key":"10.1016\/S0004-3702(00)00041-2_ID066","series-title":"Proc. AAAI-84, Austin, TX","first-page":"322","article-title":"Implicit ordering of defaults in inheritance systems","author":"Touretzky","year":"1984"},{"key":"10.1016\/S0004-3702(00)00041-2_ID067","series-title":"Statistical Reasoning with Imprecise Probabilities","author":"Walley","year":"1991"},{"key":"10.1016\/S0004-3702(00)00041-2_ID068","series-title":"Proc. 11th Conf. on Uncertainty in Artificial Intelligence (UAI'95)","first-page":"540","article-title":"Defaults and infinitesimals defeasible inference by nonarchimedean entropy maximization","author":"Weydert","year":"1995"},{"key":"10.1016\/S0004-3702(00)00041-2_ID069","series-title":"Some theoretical aspects of the Dempster\u2013Shafer theory","author":"Wilson","year":"1992"},{"key":"10.1016\/S0004-3702(00)00041-2_ID070","series-title":"Proc. 2nd European Conference on Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU-93)","first-page":"372","article-title":"Default logic and Dempster\u2013Shafer theory","author":"Wilson","year":"1993"},{"key":"10.1016\/S0004-3702(00)00041-2_ID071","series-title":"Proc. 12th European Conf. on Artif. Intell. (ECAI'96)","first-page":"667","article-title":"Extended probability","author":"Wilson","year":"1996"},{"key":"10.1016\/S0004-3702(00)00041-2_ID072","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","article-title":"Fuzzy sets as a basis for a theory of possibility","volume":"Vol. 1","author":"Zadeh","year":"1978","journal-title":"Fuzzy Sets Systems"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370200000412?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370200000412?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T05:20:28Z","timestamp":1556428828000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370200000412"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,9]]},"references-count":66,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,9]]}},"alternative-id":["S0004370200000412"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(00)00041-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2000,9]]}}}