{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:45:53Z","timestamp":1725489953439},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401612"},{"type":"electronic","value":"9783540448433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44843-8_76","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T07:42:01Z","timestamp":1187163721000},"page":"695-704","source":"Crossref","is-referenced-by-count":0,"title":["An Algorithm for Diagnosing System with Structured Description"],"prefix":"10.1007","author":[{"given":"Shangmin","family":"Luan","sequence":"first","affiliation":[]},{"given":"Guozhong","family":"Dai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"76_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 32(1987) 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"76_CR2","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24(1984) 347\u2013410.","journal-title":"Artificial Intelligence"},{"key":"76_CR3","unstructured":"Kleer, J. D.: Local methods for localizing faults in electronic circuits. MIT AI Memo 394, Cambridge, MA, 1976."},{"key":"76_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J.D. Kleer","year":"1987","unstructured":"Kleer, J.D., Williams, B. C.: Diagnosing multiple faults. Artificial Intelligence 32(1987) 97\u2013130","journal-title":"Artificial Intelligence"},{"key":"76_CR5","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"M.R. Genesereth","year":"1984","unstructured":"Genesereth, M.R.: The use of design descriptions in automated diagnosis. Artificial Intelligence 24(1984) 411\u2013436.","journal-title":"Artificial Intelligence"},{"key":"76_CR6","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","volume":"19","author":"J.A. Reggia","year":"1983","unstructured":"Reggia, J.A., Nau, D.S., Wang, Y.: Diagnostic expert systems based on a set covering model. International Journal of Man-Machine Studies 19 (1983) 437\u2013460.","journal-title":"International Journal of Man-Machine Studies"},{"key":"76_CR7","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0020-0255(85)90015-5","volume":"37","author":"J.A. Reggia","year":"1985","unstructured":"Reggia, J.A., Nau, D.S., Wang, Y.: A formal model of diagnostic inference I: Problem formulation and decomposition. Information Science 37 (1985) 227\u2013256.","journal-title":"Information Science"},{"key":"76_CR8","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J.D. Kleer","year":"1992","unstructured":"Kleer, J.D., Mackworth, A.K., Reiter, R.: Charactering diagnoses and systems. Artificial Intelligence 56 (1992) 197\u2013222.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"76_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-Based Diagnosis of Hardware Designs. Artificial Intelligence Vol.111 No.2(1999) 3\u201339.","journal-title":"Artificial Intelligence"},{"key":"76_CR10","unstructured":"Haenni, R.: Generating Diagnoses from Conflict Sets. In: Cook D.J. ed. Proceedings of the FLAIRS-98 Conference, AAAI Press, 1998, 120\u2013124."},{"key":"76_CR11","first-page":"572","volume-title":"International Joint Conference on Artificial Intelligence","author":"Y.E. Fattah","year":"1995","unstructured":"Fattah, Y.E., Dechter, R.: Diagnosing Tree-Decomposable Circuits. In: International Joint Conference on Artificial Intelligence(1995), Montreal, Canada, Morgan Kaufmann: San Fransisco, 572\u2013578."},{"key":"76_CR12","doi-asserted-by":"crossref","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 8(1998) 165\u2013222.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"76_CR13","first-page":"211","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence","author":"A. Darwiche","year":"1995","unstructured":"Darwiche, A.: Model-based Diagnosis Using Causal Networks. In: Proceedings of International Joint Conference on Artificial Intelligence(1995), Montreal, Canada, Morgan Kaufmann: San Fransisco, 211\u2013217."},{"key":"76_CR14","first-page":"337","volume-title":"Proceedings of 17th American Association on Artificial Intelligence","author":"A.D. Val","year":"2000","unstructured":"Val, A.D.: The complexity of restricted consequence finding and abduction. In: Proceedings of 17th American Association on Artificial Intelligence(2000),Austin, Texas, AAAI Press: California, 337\u2013342."},{"key":"76_CR15","first-page":"359","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence","author":"L. Simon","year":"2001","unstructured":"Simon L., Val, A.D.: Efficient Consequence Finding. In: Nebel B. Ed. Proceedings of International Joint Conference on Artificial Intelligence(2001), Seattle, USA, Morgan Kaufmann: San Fransisco, 359\u2013370."},{"key":"76_CR16","first-page":"35","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence","author":"T. Eiter","year":"2001","unstructured":"Eiter, T., Lukasiewicz, T.: Complexity Results for Structure-Based Causality. In: Nebel B. Ed. Proceedings of International Joint Conference on Artificial Intelligence(2001), Seattle, USA, Morgan Kaufmann: San Fransisco, 35\u201342."},{"key":"76_CR17","unstructured":"Coste-Marquis, S.: Characterizing Consistency-Based Diagnoses. In: Proceedings of 5th International Symposium on Artificial Intelligence and Mathematics (1998), Fort Lauderdale (\n                    http:\/\/rutcor.rutgers.edu\/amai\/aimath98\/Tuesday.html\n                    \n                  )."},{"key":"76_CR18","unstructured":"Mozetic, I.: A Polynomial-Time Algorithm for Model-based Diagnosis. In Neumann B. ed. Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI1992), Chichester, UK, John Wiley & Sons, 729\u2013733."},{"key":"76_CR19","first-page":"166","volume-title":"Proceedings of Fourth International Workshop on Principles of Diagnosis","author":"R.L. Childress","year":"1993","unstructured":"Childress, R.L., Valtorta, M.: Polynomial-Time Model-based Diagnosis with the Critical Set Algorithm. In: Proceedings of Fourth International Workshop on Principles of Diagnosis(1993), University of Wales, Aberystwith, 166\u2013177."},{"key":"76_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(01)00054-6","volume":"127","author":"M. Stumptner","year":"2001","unstructured":"Stumptner, M., Wotawa, F.: Diagnosing Tree-structured Systems. Artificial Intelligence 127(2001) 1\u201329.","journal-title":"Artificial Intelligence"},{"key":"76_CR21","volume-title":"Artificial Intelligence: A new Synthesis","author":"N.J. Nilsson","year":"1999","unstructured":"Nilsson, N.J.: Artificial Intelligence: A new Synthesis. Morgan Kaufmann: San Fransisco, 1999."}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2014 ICCSA 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44843-8_76","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T01:54:46Z","timestamp":1550800486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44843-8_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401612","9783540448433"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44843-8_76","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}