{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:17Z","timestamp":1725664217532},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580256"},{"type":"electronic","value":"9783540484172"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-58025-5_61","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:07:32Z","timestamp":1330268852000},"page":"268-281","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Contradiction: When avoidance equals removal Part II"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal. Part I. In R. Dyckhoff, editor, 4th Int. Ws. on Extensions of Logic Programming, 1993.","DOI":"10.1007\/3-540-58025-5_47"},{"key":"17_CR2","unstructured":"Jos\u00e9 J\u00falio Alferes. Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa, October 1993."},{"key":"17_CR3","unstructured":"W. Chen and D. H. D. Warren. A goal-oriented approach to computing wellfounded semantics. In K. Apt, editor, Int. Joint Conf. and Symp. on Logic Programming, pages 589\u2013603. MIT Press, 1992."},{"key":"17_CR4","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, 6th Int. Conf. on Logic Programming. MIT Press, 1989."},{"key":"17_CR5","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conf. on AI, pages 102\u2013106. John Wiley &: Sons, Ltd, 1992."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Contradiction Removal within Well Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and NonMonotonic Reasoning, pages 105\u2013119. MIT Press, 1991.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. The extended stable models of contradiction removal semantics. In P. Barahona, L. M. Pereira, and A. Porto, editors, 5th Portuguese AI Conf. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"17_CR8","volume-title":"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 Applied Logic Conf. ILLC, Amsterdam, 1992."},{"key":"17_CR9","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Counterfactual reasoning based on revising assumptions. In Ueda and Saraswat, editors, Int. Logic Programming Symp. MIT Press, 1991."},{"key":"17_CR10","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. A derivation procedure for extended stable models. In Int. Joint Conf. on AI. Morgan Kaufmann Publishers, 1991."},{"key":"17_CR11","volume-title":"Applied Logic Conf.","author":"L. M. Pereira","year":"1992","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Logic programming for nonmonotonic reasoning. In Applied Logic Conf. ILLC, Amsterdam, 1992."},{"key":"17_CR12","unstructured":"L. M. Pereira and M. Calejo. A framework for Prolog debugging. In R. Kowalski, editor, 5th Int. Conf. on Logic Programming. MIT Press, 1988."},{"key":"17_CR13","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 International Workshop on Logic Programming and NonMonotonic Reasoning, pages 316\u2013330. MIT Press, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"17_CR14","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":"17_CR15","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":"17_CR16","unstructured":"D.S. Warren. The XWAM: A machine that integrates prolog and deductive databases. Technical report, SUNY at Stony Brook, 1989."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58025-5_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T12:12:09Z","timestamp":1561378329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58025-5_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580256","9783540484172"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58025-5_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"26 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}