{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:17:19Z","timestamp":1649146639034},"reference-count":43,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1016\/j.knosys.2010.12.002","type":"journal-article","created":{"date-parts":[[2010,12,12]],"date-time":"2010-12-12T09:04:58Z","timestamp":1292144698000},"page":"467-477","source":"Crossref","is-referenced-by-count":2,"title":["Maximal-confirmation diagnoses"],"prefix":"10.1016","volume":"24","author":[{"given":"Nico","family":"Roos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.knosys.2010.12.002_b0005","unstructured":"N. Roos, Preferring maximum confirmation diagnoses, in: BNAIC 2009, 2009."},{"key":"10.1016\/j.knosys.2010.12.002_b0010","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\/j.knosys.2010.12.002_b0015","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\/j.knosys.2010.12.002_b0020","unstructured":"D. Poole, Representing knowledge for logic-based diagnosis, in: International Conference on Fifth Generation Computer Systems, 1988, pp. 1282\u20131290."},{"key":"10.1016\/j.knosys.2010.12.002_b0025","unstructured":"J. de Kleer, B.C. Williams, Diagnosing with behaviour modes, in: IJCAI 89, 1989, pp. 104\u2013109."},{"key":"10.1016\/j.knosys.2010.12.002_b0030","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1002\/int.1990.5.1.83","article-title":"Hypothetical reasoning in causal models","volume":"5","author":"Console","year":"1990","journal-title":"International Journal of Intelligence Systems"},{"key":"10.1016\/j.knosys.2010.12.002_b0035","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","article-title":"A spectrum of logical definitions of model-based diagnosis","volume":"7","author":"Console","year":"1991","journal-title":"Computational Intelligence"},{"key":"10.1016\/j.knosys.2010.12.002_b0040","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","article-title":"Characterizing diagnoses and systems","volume":"56","author":"de Kleer","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.002_b0045","unstructured":"P. Struss, What\u2019s in SD?: Towards a theory of modeling for diagnosis, in: W. Hamscher, L. Console, J. de Kleer (Eds.), Readings in Model-Based Diagnosis, 1992, pp. 419\u2013449."},{"key":"10.1016\/j.knosys.2010.12.002_b0050","unstructured":"G. Torta, P. Torasso, Automatic abstraction in component-based diagnosis driven by system observability, in: IJCAI-03, 2003, pp. 394\u2013400."},{"key":"10.1016\/j.knosys.2010.12.002_b0055","unstructured":"P. Dague, O. Jehl, P. Deve\u00e8s, P. Luciani, P. Taillibert, When oscillators stop oscillating, in: W. Hamscher, L. Console, J. de Kleer (Eds.), Readings in Model-Based Diagnosis, 1992, pp. 235\u2013241."},{"key":"10.1016\/j.knosys.2010.12.002_b0060","unstructured":"D.J. Goldstone, Controlling inequality reasoning in a TMS-based analog diagnosis system, in: W. Hamscher, L. Console, J. de Kleer (Eds.), Readings in Model-Based Diagnosis, 1992, pp. 206\u2013211."},{"key":"10.1016\/j.knosys.2010.12.002_b0065","unstructured":"W. Hamscher, ACP: reason maintenance and inference control for constraint propagation over intervals, in: AAAI, 1991, pp. 506\u2013511."},{"key":"10.1016\/j.knosys.2010.12.002_b0070","unstructured":"J. Mauss, M. Tatar, Computing minimal conflicts for rich constraint languages, in: Thirteenth International Workshop on Principles of Diagnosis [DX-2002], 2002, pp. 170\u2013181."},{"key":"10.1016\/j.knosys.2010.12.002_b0075","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","article-title":"Temporal constraint networks","volume":"49","author":"Dechter","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.002_b0080","unstructured":"N. Roos, C. Witteveen, Diagnosis of simple temporal networks, in: ECAI 2008, 2008, pp. 593\u2013597."},{"key":"10.1016\/j.knosys.2010.12.002_b0085","unstructured":"N. Roos, C. Witteveen, Models and methods for plan diagnosis, in: Formal Approaches to Multi-Agent Systems (FAMAS\u201906), 2006."},{"key":"10.1016\/j.knosys.2010.12.002_b0090","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/s10458-007-9017-6","article-title":"Models and methods for plan diagnosis","volume":"19","author":"Roos","year":"2009","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"10.1016\/j.knosys.2010.12.002_b0095","unstructured":"M.-O. Cordier, When abductive diagnosis fails to explain too precise observations: an extended spectrum of definitions based on abstracting observations, in: International Workshop on Principles of Diagnosis [DX-1998], 1998, pp. 24\u201331."},{"key":"10.1016\/j.knosys.2010.12.002_b0100","doi-asserted-by":"crossref","unstructured":"D. Spiegelhalter, Probabilistic reasoning in predictive expert systems, Uncertainty in Artificial Intelligence, 1986, pp. 47\u201367.","DOI":"10.1016\/B978-0-444-70058-2.50009-7"},{"key":"10.1016\/j.knosys.2010.12.002_b0105","series-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1988"},{"key":"10.1016\/j.knosys.2010.12.002_b0110","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1613\/jair.305","article-title":"Exploiting causal independence in bayesian network inference","volume":"5","author":"Zhang","year":"1996","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/j.knosys.2010.12.002_b0115","series-title":"Introduction to Discrete Event Systems","author":"Cassandras","year":"1999"},{"key":"10.1016\/j.knosys.2010.12.002_b0120","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete event systems","volume":"40","author":"Sampath","year":"1995","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.knosys.2010.12.002_b0125","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","article-title":"Failure diagnosis using discrete event models","volume":"4","author":"Sampath","year":"1996","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"110","key":"10.1016\/j.knosys.2010.12.002_b0130","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","article-title":"Diagnosis of large active systems","author":"Baroni","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.002_b0135","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","article-title":"A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks","volume":"164","author":"Pencol\u00e9","year":"2005","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.002_b0140","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/int.4550050506","article-title":"A methodology for using a default and abductive reasoning system","volume":"5","author":"Poole","year":"1990","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1016\/j.knosys.2010.12.002_b0145","unstructured":"J. de Kleer, Focusing on probable diagnosis, in: AAAI 91, 1991, pp. 842\u2013848."},{"key":"10.1016\/j.knosys.2010.12.002_b0150","unstructured":"I. Flesch, P. Lucas, T. van der Weide, Conflict-based diagnosis: Adding uncertainty to model-based diagnosis, in: IJCAI 2007, 2007, pp. 380\u2013385."},{"key":"10.1016\/j.knosys.2010.12.002_b0155","series-title":"Artificial Intelligence, a modern approach (third edition)","author":"Russell","year":"2010"},{"key":"10.1016\/j.knosys.2010.12.002_b0160","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0004-3702(96)00003-3","article-title":"From statistical knowledge bases to degrees of belief","volume":"87","author":"Bacchus","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.002_b0165","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1613\/jair.61","article-title":"Random worlds and maximum entropy","volume":"2","author":"Grove","year":"1994","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/j.knosys.2010.12.002_b0170","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1111\/0824-7935.00039","article-title":"Combinatorial semantics: semantics for frequent validity","volume":"13","author":"Kyburg","year":"1997","journal-title":"Computational Intelligence"},{"key":"10.1016\/j.knosys.2010.12.002_b0175","series-title":"Uncertainty in Knowledge Bases, IPMU\u201990","first-page":"403","article-title":"How to reason with uncertain knowledge","author":"Roos","year":"1991"},{"key":"10.1016\/j.knosys.2010.12.002_b0180","unstructured":"G. Friedrich, G. Gottlob, W. Nejdl, Physical impossibility instead of fault models, in: AAAI 90, 1990, pp. 331\u2013336."},{"key":"10.1016\/j.knosys.2010.12.002_b0185","doi-asserted-by":"crossref","unstructured":"T. Bylander, D. Allemang, M.C. Tanner, J.R. Josephson, The computational complexity of abduction, Artificial Intelligence 49 (1\u20133) (1991) 25\u201360.","DOI":"10.1016\/0004-3702(91)90005-5"},{"issue":"1","key":"10.1016\/j.knosys.2010.12.002_b0190","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/200836.200838","article-title":"The complexity of logic-based abduction","volume":"42","author":"Eiter","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.1016\/j.knosys.2010.12.002_b0195","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.knosys.2005.11.013","article-title":"On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model","volume":"19","author":"Torta","year":"2006","journal-title":"Knowledge-Based Systems"},{"issue":"1-2","key":"10.1016\/j.knosys.2010.12.002_b0200","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0004-3702(97)00009-X","article-title":"Processing disjunctions in temporal constraint networks","volume":"93","author":"Schwalb","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.002_b0205","series-title":"Proceedings of the 10th Int. Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic","first-page":"210","article-title":"A new efficient algorithm for solving the simple temporal problem","author":"Xu","year":"2003"},{"key":"10.1016\/j.knosys.2010.12.002_b0210","unstructured":"L. Planken, M. de Weerdt, R. van der Krogt, P3C: A new algorithm for the simple temporal problem, in: ICAPS 2008, 2008, pp. 256\u2013263."},{"key":"10.1016\/j.knosys.2010.12.002_b0215","series-title":"Abstraction, Reformulation, and Approximation (SARA)","first-page":"109","article-title":"Dynamic domain abstraction through meta-diagnosis","volume":"4612","author":"de Kleer","year":"2007"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705110001747?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705110001747?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T01:41:37Z","timestamp":1559871697000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705110001747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["S0950705110001747"],"URL":"https:\/\/doi.org\/10.1016\/j.knosys.2010.12.002","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[2011,5]]}}}