{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:38Z","timestamp":1749124058903},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540574170"},{"type":"electronic","value":"9783540481416"}],"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\/bfb0019400","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"58-74","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Debugging by diagnosing assumptions"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"key":"4_CR1","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability. Freeman and Co., 1979."},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"R. Greiner, B. A. Smith, and R. W. Wilkerson. A correction to the algorithm in reiter's theory of diagnosis. Artificial Intelligence, 41:79\u201388, 1989.","journal-title":"Artificial Intelligence"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Symbolic Computation. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"issue":"2","key":"4_CR4","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Declarative error diagnosis. New Generation Computing, 5(2):133\u2013154, 1987.","journal-title":"New Generation Computing"},{"key":"4_CR5","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, Proc. ECAI'92, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"4_CR6","unstructured":"L. M. Pereira, J. J. Alferes, and C. Dam\u00e1sio. The sidetracking principle applied to well founded semantics. In Proc. Simp\u00f3sio Brasileiro de Intelig\u00eancia Artificial SBIA '92, pages 229\u2013242, 1992."},{"key":"4_CR7","unstructured":"L. M. Pereira, J.N. Apar\u00edcio, and J. J. Alferes. Derivation procedures for extended stable models. In Proc. IJCAI-91. Morgan Kaufmann, 1991."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. Dam\u00e1sio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on Logic Programming and NonMonotonic Reasoning. MIT Press, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"T. Przymusinski. Every logic program has a natural stratification and an iterated fixed point model. In 8th Symp. on Principles of Database Systems. ACM SIGACT-SIGMOD, 1989.","DOI":"10.1145\/73721.73723"},{"key":"4_CR10","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:57\u201396, 1987.","journal-title":"Artificial Intelligence"},{"key":"4_CR11","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Jouranel of ACM, pages 221\u2013230, 1990."}],"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\/BFb0019400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:05:31Z","timestamp":1558271131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019400"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540574170","9783540481416"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0019400","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"11 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}