{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T02:26:17Z","timestamp":1768703177974,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540574170","type":"print"},{"value":"9783540481416","type":"electronic"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0019402","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"85-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["Model-based diagnosis meets error diagnosis in logic programs"],"prefix":"10.1007","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele Theseider","family":"Dupr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"L. Console, G. Friedrich, and Theseider Dupr\u00e9. Model-based diagnosis meets error diagnosis in logic programs. In Proc. 13th IJCAI, Chambery, 1993.","DOI":"10.1007\/BFb0019402"},{"key":"6_CR2","unstructured":"L. Console, D. Theseider Dupr\u00e9, and P. Torasso. A theory of diagnosis for incomplete causal models. In Proc. 11th IJCAI, pages 1311\u20131317, Detroit, 1989."},{"issue":"3","key":"6_CR3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133\u2013141, 1991. Also in [7].","journal-title":"Computational Intelligence"},{"issue":"2\u20133","key":"6_CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"J. de Kleer, A. Mackworth, and R. Reiter. Characterising diagnoses and systems. Artificial Intelligence, 56(2\u20133):197\u2013222, 1992. Also in [7].","journal-title":"Artificial Intelligence"},{"issue":"1","key":"6_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B.C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97\u2013130, 1987. Also in [7].","journal-title":"Artificial Intelligence"},{"key":"6_CR6","volume-title":"MOMO \u2014 Model-based diagnosis for everybody","author":"G. Friedrich","year":"1990","unstructured":"Gerhard Friedrich and Wolfgang Nejdl. MOMO \u2014 Model-based diagnosis for everybody. In Proc. IEEE Conf. on AI Appl., Santa Barbara, 1990. Also in [7]."},{"key":"6_CR7","unstructured":"W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992."},{"key":"6_CR8","first-page":"1304","volume-title":"Normality and faults in logic-based diagnosis","author":"D. Poole","year":"1989","unstructured":"D. Poole. Normality and faults in logic-based diagnosis. In Proc. 11th IJCAI, pages 1304\u20131310, Detroit, 1989. Also in [7]."},{"issue":"1","key":"6_CR9","doi-asserted-by":"crossref","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, 32(1):57\u201396, 1987. Also in","journal-title":"Artificial Intelligence"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"E. Shapiro. Algorithmic Program Debugging. MIT-Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"6_CR11","unstructured":"P. Struss. Knowledge-based diagnosis: an important challenge and touchstone for AI. In Proc. 10th ECAI, pages 863\u2013874, Vienna, 1992."}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:56:53Z","timestamp":1736107013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019402"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540574170","9783540481416"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0019402","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"11 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}