{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:56Z","timestamp":1725663656423},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572879"},{"type":"electronic","value":"9783540480365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57287-2_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:38:32Z","timestamp":1330259912000},"page":"183-197","source":"Crossref","is-referenced-by-count":20,"title":["Diagnosis and debugging as contradiction removal in logic programs"],"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,9]]},"reference":[{"key":"14_CR1","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:133\u2013141, 1991.","journal-title":"Computational Intelligence"},{"key":"14_CR2","unstructured":"J. de Kleer and B.C. Williams. Diagnosis with behavioral modes. In Proc. IJCAI'89, pages 1329\u20131330, 1989."},{"key":"14_CR3","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability. Freeman and Co., 1979."},{"key":"14_CR4","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"},{"issue":"1","key":"14_CR5","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"A. Guessoum and J. W. Lloyd. Updating knowledge bases. New Generation Computing, 8(1):71\u201389, 1990.","journal-title":"New Generation Computing"},{"issue":"1","key":"14_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF03037523","volume":"10","author":"A. Guessoum","year":"1991","unstructured":"A. Guessoum and J. W. Lloyd. Updating knowledge bases II. New Generation Computing, 10(1):73\u2013100, 1991.","journal-title":"New Generation Computing"},{"key":"14_CR7","unstructured":"A. C. Kakas and P. Mancarella. Generalised stable models: A semantics for abduction. In Proc. ECAI'90, pages 401\u2013405, 1990."},{"key":"14_CR8","unstructured":"K. Konolige. Using default and causal reasoning in diagnosis. In C. Rich B. Nebel and W. Swartout, editors, Proc. KR'92, pages 509\u2013520. Morgan Kaufmann, 1992."},{"issue":"2","key":"14_CR9","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":"14_CR10","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. J. Alferes, and J.N. Apar\u00edcio. Contradiction removal within well founded semantics. In W. Marek A. Nerode and V.S. Subrahmanian, editors, Proc. Logic Programming and NonMonotonic Reasoning'91, pages 105\u2013119. MIT press, 1991.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"14_CR11","volume-title":"Proc. Applied Logic Conf.","author":"L. M. Pereira","year":"1992","unstructured":"L. M. Pereira, J. J. Alferes, and J.N. Apar\u00edcio. Contradiction removal semantics with explicit negation. In Proc. Applied Logic Conf., Amsterdam, 1992. ILLC."},{"key":"14_CR12","volume-title":"Proc. Applied Logic Conf.","author":"L. M. Pereira","year":"1992","unstructured":"L. M. Pereira, J. J. Alferes, and J.N. Apar\u00edcio. Logic programming for nonmonotonic reasoning. In Proc. Applied Logic Conf., Amsterdam, 1992. ILLC."},{"key":"14_CR13","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":"14_CR14","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":"14_CR15","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, pages 316\u2013330. MIT Press, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"14_CR16","unstructured":"C. Preist and K. Eshghi. Consistency-based and abductive diagnoses as generalised stable models. In Proc. Fifth Generation Computer Systems'92. ICOT, 1992."},{"key":"14_CR17","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"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57287-2_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:49Z","timestamp":1605647449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57287-2_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572879","9783540480365"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57287-2_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}