{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:52:29Z","timestamp":1725486749532},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540719854"},{"type":"electronic","value":"9783540719861"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71986-1_27","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T18:39:16Z","timestamp":1183055956000},"page":"467-496","source":"Crossref","is-referenced-by-count":0,"title":["An Algebraic Approach to Model-Based Diagnosis"],"prefix":"10.1007","author":[{"given":"Shangmin","family":"Luan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Magnani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guozhong","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1_Ref","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol. 32, pp. 57-95, 1987.","journal-title":"Artificial Intelligence"},{"key":"27_CR2_Ref","doi-asserted-by":"crossref","unstructured":"J. d. Kleer, A. K. Mackworth, and R. Reiter, Charactering diagnoses and sys-tems, Artificial Intelligence, vol. 56, pp. 197-222, 1992.","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"27_CR3_Ref","first-page":"211","volume-title":"Proc. Int. Joint Conf. on Artificial Intelligence","author":"A Darwiche","year":"1995","unstructured":"A. Darwiche, Model-based Diagnosis using causal networks, Proc. Int. Joint Conf. on Artificial Intelligence, pp. 211-217, Montreal, Canada, August 1995."},{"key":"27_CR4_Ref","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.462","volume":"8","author":"A Darwiche","year":"1998","unstructured":"A. Darwiche, Model-based diagnosis using structured system descriptions, Jour-nal of Artificial Intelligence Research, vol.8, pp. 165-222, 1998.","journal-title":"Jour-nal of Artificial Intelligence Research"},{"key":"27_CR5_Ref","unstructured":"A. Darwiche, and G. Provan, The Effect of observation on the complexity of model-based diagnosis, Proc. American National Conf. on Artificial Intelligence, pp. 94-99, Providence, Rhode Island, USA, July 1997."},{"key":"27_CR6_Ref","first-page":"120","volume-title":"Proc. Florida Artificial Intel-ligence Research Symposium","author":"R Haenni","year":"1998","unstructured":"R. Haenni, Generating diagnoses from conflict sets, Proc. Florida Artificial Intel-ligence Research Symposium, pp. 120-124, Florida, USA, May 1998."},{"key":"27_CR7_Ref","doi-asserted-by":"crossref","unstructured":"P. Marquis, Consequence finding algorithms, in: (eds. S. Kholas, J. Moral) Handbook on Deafeasible Reasoning and Uncertainty Management Systems, pp. 41-145. Kluwer Academic, Boston, 2000.","DOI":"10.1007\/978-94-017-1737-3_3"},{"key":"27_CR8_Ref","first-page":"114","volume-title":"A query-driven anytime algorithm For argumentative and abductive reasoning, Proc. First Int. Conf. on SoftWare","author":"R Haenni","year":"2002","unstructured":"R. Haenni, A query-driven anytime algorithm For argumentative and abductive reasoning, Proc. First Int. Conf. on SoftWare, pp. 114-127, Belfast, Northern Ireland, April 2002."},{"key":"27_CR9_Ref","first-page":"337","volume-title":"Proc. 17th American National Conf. on Artificial Intelligence","author":"A del Val","year":"2000","unstructured":"A. del Val, The complexity of restricted consequence finding and abduction, Proc. 17th American National Conf. on Artificial Intelligence, pp. 337-342, Texas, USA, July 2000."},{"key":"27_CR10_Ref","first-page":"359","volume-title":"Proc. Int. Joint Conf. on Artificial Intelligence","author":"L Simon","year":"2001","unstructured":"L. Simon and A. del Val, Efficient consequence finding, Proc. Int. Joint Conf. on Artificial Intelligence, pp. 359-365, Seattle, Washington, USA, August 2001."},{"key":"27_CR11_Ref","first-page":"259","volume-title":"Proc. Sixteenth American National Conf. on Artificial Intelligence","author":"A del Val","year":"1999","unstructured":"A. del Val, A new method for consequence finding and compilation in restricted languages, Proc. Sixteenth American National Conf. on Artificial Intelligence, pp. 259-264, Florida, USA, July 1999."},{"key":"27_CR12_Ref","first-page":"572","volume-title":"Proc. Int. Joint Conf. on Artificial Intelligence","author":"YE Fattah","year":"1995","unstructured":"Y. E. Fattah, and R. Dechter, Diagnosing tree-decomposable circuits, Proc. Int. Joint Conf. on Artificial Intelligence, pp. 572-578, Montreal, Canada, August 1995."},{"key":"27_CR13_Ref","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(01)00054-6","volume":"127","author":"M Stumptner","year":"2001","unstructured":"M. Stumptner, and F. Wotawa, Diagnosing tree-structured systems, Artificial Intelligence, vol. 127, pp. 1-29, 2001.","journal-title":"Artificial Intelligence"},{"key":"27_CR14_Ref","doi-asserted-by":"crossref","unstructured":"Bartlomiej Gorny, Antoni Ligeza, Model-based diagnosis of dynamic Systems: systematic conflict generation, in: L. Magnani, N. J. Nersessian and C. Pizzi (eds.) Logical and Computational Aspects of Model-based Reasoning, pp. 273-291, Kluwer Academic Publisher, 2002.","DOI":"10.1007\/978-94-010-0550-0_13"},{"key":"27_CR15_Ref","first-page":"729","volume-title":"Proc. 10th European Conf. on Artificial Intelligence","author":"I Mozetic","year":"1992","unstructured":"I. Mozetic, A Polynomial-time algorithm for model-based diagnosis, Proc. 10th European Conf. on Artificial Intelligence, pp. 729-733, Vienna, Austria, August 1992."},{"key":"27_CR16_Ref","first-page":"166","volume-title":"Proc. Fourth Int. Fourth Int. Workshop on Principles of Diagnosis","author":"RL Childress","year":"1993","unstructured":"R. L. Childress, and M. Valtorta, Polynomial-time model-based diagnosis with the critical set algorithm, Proc. Fourth Int. Fourth Int. Workshop on Principles of Diagnosis, pp. 166-177, Aberystwyth, Wales, UK, 1993."},{"issue":"2","key":"27_CR17_Ref","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1093\/jigpal\/jzk026","volume":"14","author":"S Luan","year":"2006","unstructured":"S. Luan, L. Magnani, G. Dai, Algorithms for Computing Minimal Conflicts, Logic Journal of IGPL, Vol.14 No.2, 391-406, June 2006.","journal-title":"Logic Journal of IGPL"},{"key":"27_CR18_Ref","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8562-0","volume-title":"Abduction, Reason, and Science: Processes of Discovery and Expla-nation","author":"L Magnani","year":"2001","unstructured":"L. Magnani, Abduction, Reason, and Science: Processes of Discovery and Expla-nation, New York, Kluwer Academic\/Plenum Publishers, 2001."},{"key":"27_CR19_Ref","volume-title":"Artificial Intelligence: A New Synthesis","author":"NJ Nilsson","year":"1999","unstructured":"N. J. Nilsson, Artificial Intelligence: A New Synthesis, Morgan Kaufmann, San Fransisco, 1999."},{"key":"27_CR20_Ref","first-page":"437","volume-title":"A new method to checking rule bases for inconsistency: a Petri net approach. In Proceedings of the 9th European Conference on Artificial Intelli-gence (ECAI-90)","author":"P Meseguer","year":"1990","unstructured":"P. Meseguer. A new method to checking rule bases for inconsistency: a Petri net approach. In Proceedings of the 9th European Conference on Artificial Intelli-gence (ECAI-90), Stockholm, August 1990, pp. 437-442."},{"key":"27_CR21_Ref","doi-asserted-by":"crossref","unstructured":"Tadao Murata, Petri Nets: Properties, analysis and applications, Proceedings of the IEEE, Vol. 77, No 4, April, 1989, 541-580.","DOI":"10.1109\/5.24143"}],"container-title":["Studies in Computational Intelligence","Model-Based Reasoning in Science, Technology, and Medicine"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71986-1_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:03:01Z","timestamp":1619503381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71986-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540719854","9783540719861"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71986-1_27","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2007]]}}}