{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T19:14:06Z","timestamp":1770491646157,"version":"3.49.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2023,2,23]],"date-time":"2023-02-23T00:00:00Z","timestamp":1677110400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,2,23]],"date-time":"2023-02-23T00:00:00Z","timestamp":1677110400000},"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":[[2023,12]]},"DOI":"10.1007\/s11704-022-2261-8","type":"journal-article","created":{"date-parts":[[2023,2,23]],"date-time":"2023-02-23T06:27:36Z","timestamp":1677133656000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["DiagDO: an efficient model based diagnosis approach with multiple observations"],"prefix":"10.1007","volume":"17","author":[{"given":"Huisi","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinliang","family":"Tian","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":[[2023,2,23]]},"reference":[{"issue":"1","key":"2261_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":"4","key":"2261_CR2","first-page":"17","volume":"24","author":"P Struss","year":"2003","unstructured":"Struss P, Price C. Model-based systems in the automotive industry. AI Magazine, 2003, 24(4): 17\u201334","journal-title":"AI Magazine"},{"key":"2261_CR3","unstructured":"Ardissono L, Console L, Goy A, Petrone G, Picardi C, Segnan M. Cooperative model-based diagnosis of web services. In: Proceeding of the 16th International Workshop on Principles of Diagnosis. 2005, 125\u2013132"},{"issue":"1\u20132","key":"2261_CR4","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":"2261_CR5","doi-asserted-by":"crossref","unstructured":"Torlak E, Chang F S H, Jackson D. Finding minimal unsatisfiable cores of declarative specifications. In: Proceeding of the 15th International Symposium on Formal Methods. 2008, 326\u2013341","DOI":"10.1007\/978-3-540-68237-0_23"},{"issue":"3","key":"2261_CR6","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"},{"issue":"1","key":"2261_CR7","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10515-014-0141-7","volume":"23","author":"D Jannach","year":"2016","unstructured":"Jannach D, Schmitz T. Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach. Automated Software Engineering, 2016, 23(1): 105\u2013144","journal-title":"Automated Software Engineering"},{"key":"2261_CR8","doi-asserted-by":"crossref","unstructured":"Lamraoui S M, Nakajima S. A formula-based approach for automatic fault localization of imperative programs. In: Proceeding of the 16th International Conference on Formal Engineering Methods. 2014, 251\u2013266","DOI":"10.1007\/978-3-319-11737-9_17"},{"key":"2261_CR9","doi-asserted-by":"crossref","unstructured":"Stern R, Juba B. Safe partial diagnosis from normal observations. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence. 2019, 3084\u20133091","DOI":"10.1609\/aaai.v33i01.33013084"},{"issue":"1","key":"2261_CR10","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"},{"key":"2261_CR11","doi-asserted-by":"crossref","unstructured":"Ignatiev A, Morgado A, Weissenbacher G, Marques-Silva J. Model-based diagnosis with multiple observations. In: Proceeding of the 28th International Joint Conference on Artificial Intelligence. 2019, 1108\u20131115","DOI":"10.24963\/ijcai.2019\/155"},{"key":"2261_CR12","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":"2261_CR13","unstructured":"Brglzz F, Fujiwara H. A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN. In: Proceeding of the International Symposium on Circuits and Systems. 1985, 695\u2013698"},{"issue":"11","key":"2261_CR14","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":"2261_CR15","unstructured":"Siddiqi S, Huang J. Hierarchical diagnosis of multiple faults. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence. 2007, 581\u2013586"},{"key":"2261_CR16","doi-asserted-by":"crossref","unstructured":"Jannach D, Schmitz T, Shchekotykhin K. Parallelized hitting set computation for model-based diagnosis. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence. 2015, 1503\u20131510","DOI":"10.1609\/aaai.v29i1.9389"},{"key":"2261_CR17","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1613\/jair.3025","volume":"38","author":"A Feldman","year":"2010","unstructured":"Feldman A, Provan G, Van Gemund A. Approximate model-based diagnosis using greedy stochastic search. Journal of Artificial Intelligence Research, 2010, 38: 371\u2013413","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2261_CR18","unstructured":"Feldman A B, Provan G, De Kleer J, Robert S, Van Gemund A J C. Solving model-based diagnosis problems with Max-SAT solvers and vice versa. In: Proceedings of the 21st International Workshop on the Principles of Diagnosis. 2010, 185\u2013192"},{"key":"2261_CR19","doi-asserted-by":"crossref","unstructured":"Stern R, Kalech M, Feldman A, Provan G. Exploring the duality in conflict-directed model-based diagnosis. In: Proceeding of the 26th AAAI Conference on Artificial Intelligence. 2012, 828\u2013834","DOI":"10.1609\/aaai.v26i1.8231"},{"issue":"12","key":"2261_CR20","doi-asserted-by":"publisher","first-page":"1562","DOI":"10.1016\/j.dam.2005.10.022","volume":"155","author":"B C Williams","year":"2007","unstructured":"Williams B C, Ragno R J. Conflict-directed A* and its role in model-based embedded systems. Discrete Applied Mathematics, 2007, 155(12): 1562\u20131595","journal-title":"Discrete Applied Mathematics"},{"key":"2261_CR21","unstructured":"Feldman A, Provan G M, Van Gemund A. Computing minimal diagnoses by greedy stochastic search. In: Proceeding of the 23rd National Conference on Artificial Intelligence. 2008, 911\u2013918"},{"key":"2261_CR22","unstructured":"Diedrich A, Feldman A, Perdomo-Ortiz A, Abreu R, Niggemann O, de Kleer J. Applying simulated annealing to problems in model-based diagnosis. In: Proceeding of International Workshop on the Principles of Diagnosis. 2016, 4\u20137"},{"key":"2261_CR23","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":"2261_CR24","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1613\/jair.5271","volume":"58","author":"Y Lai","year":"2017","unstructured":"Lai Y, Liu D, Yin M. New canonical representations by augmenting OBDDs with conjunctive decomposition. Journal Of Artificial Intelligence Research, 2017, 58: 453\u2013521","journal-title":"Journal Of Artificial Intelligence Research"},{"key":"2261_CR25","doi-asserted-by":"crossref","unstructured":"Torasso P, Torta G. Computing minimum-cardinality diagnoses using OBDDs. In: Proceeding of the 26th Annual Conference on Artificial Intelligence. 2003, 224\u2013238","DOI":"10.1007\/978-3-540-39451-8_17"},{"issue":"1","key":"2261_CR26","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1613\/jair.462","volume":"8","author":"A Darwiche","year":"1998","unstructured":"Darwiche A. Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research, 1998, 8(1): 165\u2013222","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"5","key":"2261_CR27","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L Console","year":"1991","unstructured":"Console L, Dupre D T, Torasso P. On the relationship between abduction and deduction. Journal of Logic and Computation, 1991, 1(5): 661\u2013690","journal-title":"Journal of Logic and Computation"},{"key":"2261_CR28","doi-asserted-by":"crossref","unstructured":"Metodi A, Stern R, Kalech M, Codish M. Compiling model-based diagnosis to Boolean satisfaction. In: Proceeding of the 26th AAAI Conference on Artificial Intelligence. 2012, 793\u2013799","DOI":"10.1609\/aaai.v26i1.8222"},{"key":"2261_CR29","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":"2261_CR30","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(1): 377\u2013411","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"2","key":"2261_CR31","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"},{"key":"2261_CR32","doi-asserted-by":"crossref","unstructured":"Lei Z, Cai S. Solving (Weighted) partial MaxSAT by dynamic local search for SAT. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence. 2018, 1346\u20131352","DOI":"10.24963\/ijcai.2018\/187"},{"key":"2261_CR33","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":"2261_CR34","unstructured":"De Kleer J. Minimum cardinality candidate generation. In: Proceedings of the 20th International Workshop on the Principles of Diagnosis. 2009, 397\u2013402"},{"issue":"1","key":"2261_CR35","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":"2261_CR36","unstructured":"Menc\u00eda C, Previti A, Marques-Silva J. Literal-based MCS extraction. In: Proceeding of the 24th International 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-022-2261-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-022-2261-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-022-2261-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T20:43:00Z","timestamp":1737232980000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-022-2261-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,23]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["2261"],"URL":"https:\/\/doi.org\/10.1007\/s11704-022-2261-8","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2,23]]},"assertion":[{"value":"2 May 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 October 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 February 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"176407"}}