{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:29:16Z","timestamp":1773930556856,"version":"3.50.1"},"reference-count":35,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"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":5441,"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":[[1998,9]]},"DOI":"10.1016\/s0004-3702(98)00060-5","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:24:09Z","timestamp":1027657449000},"page":"71-106","source":"Crossref","is-referenced-by-count":30,"title":["Model-based diagnostics and probabilistic assumption-based reasoning"],"prefix":"10.1016","volume":"104","author":[{"given":"J.","family":"Kohlas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Anrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Haenni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.A.","family":"Monney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(98)00060-5_BIB1","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/TR.1979.5220476","article-title":"An improved algorithm for network reliability","volume":"28","author":"Abraham","year":"1979","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB2","series-title":"1st International Joint Conference on Qualitative and Quantitative Practical Reasoning; ECSQARU-FAPR-97","article-title":"Assumption-based modeling using ABEL","author":"Anrig","year":"1997"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB3","series-title":"IPMU-96, Proc. 6th International Conference","first-page":"123","article-title":"Probabilistic analysis of model-based diagnosis","author":"Anrig","year":"1996"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB4","article-title":"ABEL\u2014a new language for assumption-based evidential reasoning under uncertainty","author":"Anrig","year":"1997"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB5","article-title":"Reasoning with finite set constraints","author":"Anrig","year":"1997"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB6","series-title":"Statistical Theory of Reliability and Life Testing","author":"Barlow","year":"1975"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB7","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0377-0427(96)00089-1","article-title":"A generalization of the algorithm of Heidtmann to non-monotone formulas","volume":"76","author":"Bertschy","year":"1996","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB8","series-title":"Proc. IJCAI-95","first-page":"211","article-title":"Model-based diagnosis using causal networks","author":"Darwiche","year":"1995"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB9","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","article-title":"Diagnostic reasoning based on structure and behaviour","volume":"24","author":"Davis","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB10","article-title":"Local methods for localizing faults in electronical circuits","author":"de Kleer","year":"1976"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB11","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":"45","author":"de Kleer","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB12","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","article-title":"Characterizing diagnosis and systems","volume":"56","author":"de Kleer","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"de Kleer","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB14","volume":"Vol. 1","author":"Feller","year":"1968"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB15","series-title":"Building Problem Solvers","author":"Forbus","year":"1993"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB16","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","article-title":"The use of design description in automated diagnosis","volume":"24","author":"Genesereth","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB17","series-title":"IPMU-98, Proc. 7th International Conference","first-page":"1289","article-title":"Assumption-based reasoning with finite set constraints","author":"Haenni","year":"1998"},{"issue":"3","key":"10.1016\/S0004-3702(98)00060-5_BIB18","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1109\/24.44172","article-title":"Smaller sums of disjoint products by subproduct inversion","volume":"38","author":"Heidtmann","year":"1989","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB19","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","article-title":"Linear resolution for consequence finding","volume":"56","author":"Inoue","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB20","series-title":"Mathematical Models for Handling Partial Knowledge in Artificial Intelligence","first-page":"31","article-title":"Mathematical foundations of evidence theory","author":"Kohlas","year":"1995"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB21","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0304-3975(96)00130-2","article-title":"Allocation of arguments and evidence theory","volume":"171","author":"Kohlas","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB22","series-title":"Proc. 9th Conf. on Uncertainty in Artificial Intelligence","article-title":"Probabilistic assumption-based reasoning","author":"Kohlas","year":"1993"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB23","article-title":"A Mathematical Theory of Hints. An Approach to Dempster-Shafer Theory of Evidence","volume":"Vol. 425","author":"Kohlas","year":"1995"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB24","series-title":"Symbolic and Quantitative Approaches to Uncertainty, European Conference, ECSQARU-95","first-page":"259","article-title":"Model-based diagnostics using hints","author":"Kohlas","year":"1995"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB25","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(89)90078-7","article-title":"Assumptions, belief and probabilities","volume":"41","author":"Laskey","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB26","series-title":"IPMU-98, Proc. 7th International Conference","article-title":"Computing the probability of formulas representing events in product spaces","author":"Monney","year":"1998"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB27","series-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1991"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB28","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/0888-613X(90)90016-U","article-title":"A logic-based analysis of Dempster-Shafer theory","volume":"4","author":"Provan","year":"1990","journal-title":"Internat. J. of Approximate Reasoning"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB29","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","article-title":"Diagnostic expert systems based on set covering model","volume":"19","author":"Reggia","year":"1983","journal-title":"Internat. J. Man-Machine Stud."},{"key":"10.1016\/S0004-3702(98)00060-5_BIB30","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0020-0255(85)90015-5","article-title":"A formal model of diagnostic inference, 1: Problem formulation and decomposition","volume":"37","author":"Reggia","year":"1985","journal-title":"Inf. Sci."},{"key":"10.1016\/S0004-3702(98)00060-5_BIB31","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB32","series-title":"Proc. AAAI-87","first-page":"183","article-title":"Foundations of assumption-based truth maintenance systems","author":"Reiter","year":"1987"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB33","series-title":"A Mathematical Theory of Evidence","author":"Shafer","year":"1976"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB34","series-title":"Uncertainty in Artificial Intelligence 4","article-title":"Axioms for probability and belief functions propagation","author":"Shenoy","year":"1990"},{"key":"10.1016\/S0004-3702(98)00060-5_BIB35","article-title":"Repr\u00e9sentation et utilisation de la connaissance en calcul propositionel","author":"Siegel","year":"1987"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000605?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000605?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T10:50:35Z","timestamp":1555066235000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000605"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["S0004370298000605"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00060-5","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}