{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T23:46:54Z","timestamp":1770421614252,"version":"3.49.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:00:00Z","timestamp":1770336000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:00:00Z","timestamp":1770336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1007\/s11704-025-50555-1","type":"journal-article","created":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T11:16:53Z","timestamp":1770376613000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing model-based diagnosis with multiple pseudo-normal observations by Key nodes and IterativeDFS"],"prefix":"10.1007","volume":"20","author":[{"given":"Ran","family":"Tai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ximing","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huisi","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liming","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,6]]},"reference":[{"issue":"1","key":"50555_CR1","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R. A theory of diagnosis from first principles. Artificial intelligence, 1987, 32(1): 57\u201395","journal-title":"Artificial intelligence"},{"issue":"1","key":"50555_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J De Kleer","year":"1987","unstructured":"De Kleer J, Williams B C. Diagnosing multiple faults. Artificial Intelligence, 1987, 32(1): 97\u2013130","journal-title":"Artificial Intelligence"},{"key":"50555_CR3","first-page":"1324","volume-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","author":"J De Kleer","year":"1989","unstructured":"De Kleer J, Williams B C. Diagnosis with behavioral modes. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence. 1989, 1324\u20131330"},{"issue":"2\u20133","key":"50555_CR4","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J De Kleer","year":"1992","unstructured":"De Kleer J, Mackworth A K, Reiter R. Characterizing diagnoses and systems. Artificial Intelligence, 1992, 56(2\u20133): 197\u2013222","journal-title":"Artificial Intelligence"},{"issue":"5","key":"50555_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S1474-6670(17)36467-4","volume":"36","author":"J De Kleer","year":"2003","unstructured":"De Kleer J, Kurien J. Fundamentals of model-based diagnosis. IFAC Proceedings Volumes, 2003, 36(5): 25\u201336","journal-title":"IFAC Proceedings Volumes"},{"key":"50555_CR6","volume-title":"Proceedings of the 22nd International Workshop on Principles of Diagnosis","author":"B Keren","year":"2011","unstructured":"Keren B, Kalech M, Rokach L. Model-based diagnosis with multilabel classification. In: Proceedings of the 22nd International Workshop on Principles of Diagnosis. 2011"},{"key":"50555_CR7","first-page":"1039","volume-title":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence","author":"I Nica","year":"2013","unstructured":"Nica I, Pill I, Quaritsch T, Wotawa F. The route to success: a performance comparison of diagnosis algorithms. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence. 2013, 1039\u20131045"},{"issue":"1\u20132","key":"50555_CR8","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9 Y, Cordier M O. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence, 2005, 164(1\u20132): 121\u2013170","journal-title":"Artificial Intelligence"},{"key":"50555_CR9","first-page":"326","volume-title":"Proceedings of the 15th International Symposium on Formal Methods","author":"E Torlak","year":"2008","unstructured":"Torlak E, Chang F S H, Jackson D. Finding minimal unsatisfiable cores of declarative specifications. In: Proceedings of the 15th International Symposium on Formal Methods. 2008, 326\u2013341"},{"issue":"3","key":"50555_CR10","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1109\/TSMCA.2007.893487","volume":"37","author":"S Narasimhan","year":"2007","unstructured":"Narasimhan S, Biswas G. Model-based diagnosis of hybrid systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 2007, 37(3): 348\u2013361","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans"},{"key":"50555_CR11","first-page":"72","volume-title":"Proceedings of the 11th International Symposium on Combinatorial Search","author":"P Rodler","year":"2018","unstructured":"Rodler P, Herold M. StaticHS: A variant of Reiter\u2019s hitting set tree for efficient sequential diagnosis. In: Proceedings of the 11th International Symposium on Combinatorial Search. 2018, 72\u201380"},{"key":"50555_CR12","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/j.ins.2022.08.029","volume":"627","author":"P Rodler","year":"2023","unstructured":"Rodler P. DynamicHS: Streamlining Reiter\u2019s hitting-set tree for sequential diagnosis. Information Sciences, 2023, 627: 251\u2013279","journal-title":"Information Sciences"},{"key":"50555_CR13","first-page":"5869","volume-title":"Proceedings of the 36th AAAI Conference on Artificial Intelligence","author":"P Rodler","year":"2022","unstructured":"Rodler P. Random vs. best-first: Impact of sampling strategies on decision making in model-based diagnosis. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 2022, 5869\u20135878"},{"key":"50555_CR14","doi-asserted-by":"publisher","first-page":"103988","DOI":"10.1016\/j.artint.2023.103988","volume":"323","author":"P Rodler","year":"2023","unstructured":"Rodler P. Sequential model-based diagnosis by systematic search. Artificial Intelligence, 2023, 323: 103988","journal-title":"Artificial Intelligence"},{"key":"50555_CR15","doi-asserted-by":"publisher","first-page":"103681","DOI":"10.1016\/j.artint.2022.103681","volume":"305","author":"P Rodler","year":"2022","unstructured":"Rodler P. Memory-limited model-based diagnosis. Artificial Intelligence, 2022, 305: 103681","journal-title":"Artificial Intelligence"},{"key":"50555_CR16","unstructured":"Ignatiev A, Morgado A, Marques-Silva J. Model based diagnosis of multiple observations with implicit hitting sets. 2017, arXiv preprint arXiv: 1707.01972"},{"key":"50555_CR17","first-page":"1108","volume-title":"Proceedings of the 28th International Joint Conference on Artificial Intelligence","author":"A Ignatiev","year":"2019","unstructured":"Ignatiev A, Morgado A, Weissenbacher G, Marques-Silva J. Model-based diagnosis with multiple observations. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence. 2019, 1108\u20131115"},{"issue":"5","key":"50555_CR18","doi-asserted-by":"publisher","first-page":"780","DOI":"10.3390\/diagnostics11050780","volume":"11","author":"M Kalech","year":"2021","unstructured":"Kalech M, Stern R, Lazebnik E. Minimal cardinality diagnosis in problems with multiple observations. Diagnostics, 2021, 11(5): 780","journal-title":"Diagnostics"},{"issue":"2","key":"50555_CR19","doi-asserted-by":"publisher","first-page":"2111","DOI":"10.1007\/s10489-021-02408-0","volume":"52","author":"H Zhou","year":"2022","unstructured":"Zhou H, Ouyang D, Zhang L, Tian N. Model-based diagnosis with improved implicit hitting set dualization. Applied Intelligence, 2022, 52(2): 2111\u20132118","journal-title":"Applied Intelligence"},{"issue":"6","key":"50555_CR20","doi-asserted-by":"publisher","first-page":"176407","DOI":"10.1007\/s11704-022-2261-8","volume":"17","author":"H Zhou","year":"2023","unstructured":"Zhou H, Ouyang D, Tian X, Zhang L. DiagDO: an efficient model based diagnosis approach with multiple observations. Frontiers of Computer Science, 2023, 17(6): 176407","journal-title":"Frontiers of Computer Science"},{"key":"50555_CR21","volume-title":"Proceedings of the IEEE International Symposium on Circuits and Systems","author":"F Brglez","year":"1985","unstructured":"Brglez F, Fujiwara H. A neutral netlist of 10 combinational benchmark circuits and a target translator. In: Proceedings of the IEEE International Symposium on Circuits and Systems. 1985"},{"key":"50555_CR22","first-page":"828","volume-title":"Proceedings of the 26th AAAI Conference on Artificial Intelligence","author":"R Stern","year":"2012","unstructured":"Stern R, Kalech M, Feldman A, Provan G. Exploring the duality in conflict-directed model-based diagnosis. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence. 2012, 828\u2013834"},{"key":"50555_CR23","first-page":"251","volume-title":"Proceedings of the 16th International Conference on Formal Engineering Methods","author":"S M Lamraoui","year":"2014","unstructured":"Lamraoui S M, Nakajima S. A formula-based approach for automatic fault localization of imperative programs. In: Proceedings of the 16th International Conference on Formal Engineering Methods. 2014, 251\u2013266"},{"issue":"1","key":"50555_CR24","doi-asserted-by":"publisher","first-page":"88","DOI":"10.2197\/ipsjjip.24.88","volume":"24","author":"S M Lamraoui","year":"2016","unstructured":"Lamraoui S M, Nakajima S. A formula-based approach for automatic fault localization of multi-fault programs. Journal of Information Processing, 2016, 24(1): 88\u201398","journal-title":"Journal of Information Processing"},{"issue":"11","key":"50555_CR25","doi-asserted-by":"publisher","first-page":"4371","DOI":"10.1007\/s10489-018-1214-2","volume":"48","author":"M Liu","year":"2018","unstructured":"Liu M, Ouyang D, Zhang L. A novel approach for improving quality of health state with difference degree in circuit diagnosis. Applied Intelligence, 2018, 48(11): 4371\u20134381","journal-title":"Applied Intelligence"},{"key":"50555_CR26","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.artint.2017.03.002","volume":"248","author":"R Stern","year":"2017","unstructured":"Stern R, Kalech M, Rogov S, Feldman A. How many diagnoses do we need? Artificial Intelligence, 2017, 248: 26\u201345","journal-title":"Artificial Intelligence"},{"key":"50555_CR27","first-page":"581","volume-title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence","author":"S Siddiqi","year":"2007","unstructured":"Siddiqi S, Huang J. Hierarchical diagnosis of multiple faults. In: Proceedings of the 20th International Joint Conference on Artifical Intelligence. 2007, 581\u2013586"},{"key":"50555_CR28","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1613\/jair.4503","volume":"51","author":"A Metodi","year":"2014","unstructured":"Metodi A, Stern R, Kalech M, Codish M. A novel sat-based approach to model based diagnosis. Journal of Artificial Intelligence Research, 2014, 51: 377\u2013411","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"11","key":"50555_CR29","doi-asserted-by":"publisher","first-page":"112101","DOI":"10.1007\/s11432-017-9273-5","volume":"61","author":"M Liu","year":"2018","unstructured":"Liu M, Ouyang D, Cai S, Zhang L. Efficient zonal diagnosis with maximum satisfiability. Science China Information Sciences, 2018, 61(11): 112101","journal-title":"Science China Information Sciences"},{"key":"50555_CR30","first-page":"3885","volume-title":"Proceedings of the 36th AAAI Conference on Artificial Intelligence","author":"H Zhou","year":"2022","unstructured":"Zhou H, Ouyang D, Zhao X, Zhang L. Two compacted models for efficient model-based diagnosis. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 2022, 3885\u20133893"},{"key":"50555_CR31","doi-asserted-by":"publisher","first-page":"109768","DOI":"10.1016\/j.engappai.2024.109768","volume":"141","author":"R Tai","year":"2025","unstructured":"Tai R, Ouyang D, Liu W, Jiang L, Zhang L. A novel approach to model-based diagnosis with multiple observations. Engineering Applications of Artificial Intelligence, 2025, 141: 109768","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"50555_CR32","first-page":"1966","volume-title":"Proceedings of the 24th International Conference on Artificial Intelligence","author":"J Marques-Silva","year":"2015","unstructured":"Marques-Silva J, Janota M, Ignatiev A, Morgado A. Efficient model based diagnosis with maximum satisfiability. In: Proceedings of the 24th International Conference on Artificial Intelligence. 2015, 1966\u20131972"},{"issue":"1","key":"50555_CR33","doi-asserted-by":"publisher","first-page":"53","DOI":"10.3233\/SAT190116","volume":"11","author":"A Ignatiev","year":"2019","unstructured":"Ignatiev A, Morgado A, Marques-Silva J. RC2: an efficient MaxSAT solver. Journal on Satisfiability, Boolean Modeling and Computation, 2019, 11(1): 53\u201364","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"50555_CR34","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-030-17728-7_12","volume-title":"Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches","author":"G Provan","year":"2019","unstructured":"Provan G. Model-based diagnosis with probabilistic models. In: Escobet T, Bregon A, Pulido B, Puig V, eds. Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches. Cham: Springer, 2019, 295\u2013318"},{"key":"50555_CR35","first-page":"2814","volume-title":"Proceedings of the 34th AAAI Conference on Artificial Intelligence","author":"A Feldman","year":"2020","unstructured":"Feldman A, Pill I, Wotawa F, Matei I, De Kleer J. Efficient modelbased diagnosis of sequential circuits. In: Proceedings of the 34th AAAI Conference on Artificial Intelligence. 2020, 2814\u20132821"},{"key":"50555_CR36","first-page":"518","volume-title":"Proceedings of the 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems","author":"F Wotawa","year":"2020","unstructured":"Wotawa F. On the use of answer set programming for model-based diagnosis. In: Proceedings of the 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems. 2020, 518\u2013529"},{"issue":"4","key":"50555_CR37","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1016\/j.ifacol.2024.07.291","volume":"58","author":"L Moddemann","year":"2024","unstructured":"Moddemann L, Steude H S, Diedrich A, Niggemann O. Discret2Di-deep learning based discretization for model-based diagnosis. IFAC-PapersOnLine, 2024, 58(4): 640\u2013645","journal-title":"IFAC-PapersOnLine"},{"key":"50555_CR38","volume-title":"Proceedings of 21st International Workshop on the Principles of Diagnosis","author":"A Feldman","year":"2010","unstructured":"Feldman A, Provan G, De Kleer J, Robert S, Van Gemund A. Solving model-based diagnosis problems with max-sat solvers and vice versa. In: Proceedings of 21st International Workshop on the Principles of Diagnosis. 2010"},{"key":"50555_CR39","first-page":"3084","volume-title":"Proceedings of the 33rd AAAI Conference on Artificial Intelligence","author":"R Stern","year":"2019","unstructured":"Stern R, Juba B. Safe partial diagnosis from normal observations. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence. 2019, 3084\u20133091"},{"key":"50555_CR40","first-page":"397","volume-title":"Proceedings of the 20th International Workshop on Principles of Diagnosis","author":"J de Kleer","year":"2009","unstructured":"de Kleer J. Mininimum cardinality candidate generation. In: Proceedings of the 20th International Workshop on Principles of Diagnosis. 2009, 397"},{"key":"50555_CR41","first-page":"1087","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence","author":"S Siddiqi","year":"2011","unstructured":"Siddiqi S. Computing minimum-cardinality diagnoses by model relaxation. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence. 2011, 1087\u20131092"},{"key":"50555_CR42","doi-asserted-by":"publisher","first-page":"1473","DOI":"10.1613\/jair.1.12171","volume":"69","author":"G Lamperti","year":"2020","unstructured":"Lamperti G, Zanella M, Zhao X. Diagnosis of deep discrete-event systems. Journal of Artificial Intelligence Research, 2020, 69: 1473\u20131532","journal-title":"Journal of Artificial Intelligence Research"},{"key":"50555_CR43","first-page":"1973","volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence","author":"C Menc\u00eda","year":"2015","unstructured":"Menc\u00eda C, Previti A, Marques-Silva J. Literal-based MCS extraction. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence. 2015, 1973\u20131979"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-025-50555-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-025-50555-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-025-50555-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T12:03:10Z","timestamp":1770379390000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-025-50555-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,6]]},"references-count":43,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2026,8]]}},"alternative-id":["50555"],"URL":"https:\/\/doi.org\/10.1007\/s11704-025-50555-1","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,6]]},"assertion":[{"value":"30 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 May 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 February 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no competing interests or financial conflicts to disclose.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"2008341"}}