{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:24:40Z","timestamp":1725665080653},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632559"},{"type":"electronic","value":"9783540692492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63255-7_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:22:53Z","timestamp":1330298573000},"page":"224-243","source":"Crossref","is-referenced-by-count":1,"title":["A paraconsistent semantics with contradiction support detection"],"prefix":"10.1007","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J. J. Alferes","year":"1995","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93\u2013147, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming, volume LNAI vol. 1111. Springer-Verlag, 1996. In print.","DOI":"10.1007\/3-540-61488-5"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira, and T. Przymusinski. Strong and explicit negation in non-monotonic reasoning and logic programs. In JELIA '96, European Workshop on Logic in Artificial Intelligence. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61630-6_10"},{"key":"18_CR4","first-page":"231","volume":"49","author":"A. Almukdad","year":"1984","unstructured":"A. Almukdad and D. Nelson. Constructible falsity and inexact predicates. JSL, 49:231\u2013233, 1984.","journal-title":"JSL"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C. Baral","year":"1994","unstructured":"C. Baral and M. Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19\/20:73\u2013148, 1994.","journal-title":"Journal of Logic Programming"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"N. D. Belnap. A useful four-valued logic. In G. Epstein and J. M. Dunn, editors, Modern Uses of Many-valued Logic, pages 8\u201337. Reidel, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. A. Blair","year":"1989","unstructured":"H. A. Blair and V. S. Subrahmanian. Paraconsistent logic programming. Theoretical Computer Science, 68:135\u2013154, 1989.","journal-title":"Theoretical Computer Science"},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. Costa","year":"1974","unstructured":"N. Costa. On the theory of inconsistency formal system. Notre Dame Journal of Formal Logic, 15:497\u2013510, 1974.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"18_CR9","unstructured":"C. V. Dam\u00e1sio. Paraconsistent Extended Logic Programming with Constraints. PhD thesis, Universidade Nova de Lisboa, October 1996. 350 p\u00e1ginas."},{"issue":"3","key":"18_CR10","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J. Dix. A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundamenta Informaticae, XXII(3):227\u2013255, 1995.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"18_CR11","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J. Dix. A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae, XXII(3):257\u2013288, 1995.","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"18_CR12","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF03037151","volume":"9","author":"W. Drabent","year":"1991","unstructured":"W. Drabent and M. Martelli. Strict completion of logic programs. New Generation Computing, 9(1):69\u201379, 1991.","journal-title":"New Generation Computing"},{"key":"18_CR13","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"M. Fitting. Bilattices and the semantics of logic programming. Journal of Logic Programming, 11:91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"18_CR14","first-page":"71","volume":"12","author":"M. Fitting","year":"1992","unstructured":"M. Fitting. Well-founded semantics, generalized. Journal of Logic Programming, 12:71\u201384, 1992.","journal-title":"Journal of Logic Programming"},{"key":"18_CR15","unstructured":"J. Fox, P. Krause, and S. Ambler. Arguments, contradictions and practical reasoning. In B. Neumann, editor, ECAI'92, pages 623\u2013627. John Wiley & Sons, 1992."},{"key":"18_CR16","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP'88, pages 1070\u20131080. MIT Press, 1988."},{"key":"18_CR17","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, ICLP'90, pages 579\u2013597. MIT Press, 1990."},{"key":"18_CR18","unstructured":"R. Kowalski and F. Sadri. Logic programs with exceptions. In Warren and Szeredi, editors, 7th International Conference on Logic Programming. MIT Press, 1990."},{"key":"18_CR19","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(95)00100-X","volume":"86","author":"J. Lin","year":"1996","unstructured":"J. Lin. A semantics for reasoning consistently in the presence of inconsistency. Artificial Intelligence, 86:75\u201395, 1996.","journal-title":"Artificial Intelligence"},{"key":"18_CR20","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"D. Nelson. Constructible falsity. Journal of Symbolic Logic, 14:16\u201326, 1949.","journal-title":"Journal of Symbolic Logic"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"D. Pearce. Reasoning with Negative Information, II: hard negation, strong negation and logic programs. In D. Pearce and H. Wansing, editors, Nonclassical logic and information processing, LNAI 619, pages 63\u201379. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031924"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"D. Pearce. Answer sets and constructive logic, II: Extended logic programs and related non-monotonic formalisms. In L. Pereira and A. Nerode, editors, LPNMR'93, pages 457\u2013475. MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0037"},{"key":"18_CR23","unstructured":"D. Pearce and G. Wagner. Reasoning with negative information I: Strong negation in logic programs. In L. Haaparanta, M. Kusch, and I. Niiniluoto, editors, Language, Knowledge and Intentionality, pages 430\u2013453. Acta Philosophica Fennica 49, 1990."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"D. Pearce and G. Wagner. Logic programming with strong negation. In P. Schroeder-Heister, editor, ELP'91, pages 311\u2013326. LNAI 475, Springer-Verlag, 1991.","DOI":"10.1007\/BFb0038700"},{"key":"18_CR25","first-page":"102","volume-title":"European Conference on Artificial Intelligence","author":"L. M. Pereira","year":"1992","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conference on Artificial Intelligence, pages 102\u2013106, Wien, Austria, August 1992. John Wiley & Sons."},{"key":"18_CR26","first-page":"105","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"L. M. Pereira","year":"1991","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, Washington, USA, June 1991. MIT Press."},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. V. Dam\u00e1sio, and J. J. Alferes. Debugging by diagnosing assumptions. In P. A. Fritzson, editor, Automatic Algorithmic Debugging, AADEBUG'93, LNCS 749, pages 58\u201374. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0019400"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. V. Dam\u00e1sio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pages 334\u2013348. The MIT Press, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. V. Dam\u00e1sio, and J. J. Alferes. Diagnosis and debugging as contradiction removal in logic programs. In L. Damas and M. Filgueiras, editors, Progress in Artificial Intelligence. Proceedings of the 6th Portuguese AI Conf., LNAI 727, pages 183\u2013197. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"18_CR30","unstructured":"S. G. Pimentel and W. L. Rodi. Belief revision and paraconsistency in a logic programming framework. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LPNMR'91, pages 228\u2013242. MIT Press, 1991."},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"G. Priest, R. Routley, and J. Norman. Paraconsistent logics. Philosophia Verlag, 1988.","DOI":"10.2307\/j.ctv2x8v8c7.8"},{"key":"18_CR32","unstructured":"T. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Warren and Szeredi, editors, ICLP'90, pages 459\u2013477. MIT Press, 1990."},{"key":"18_CR33","unstructured":"N. Rescher and R. Brandom. The logic of inconsistency. Basil Blackwell, 1980."},{"key":"18_CR34","unstructured":"C. Sakama. Extended well-founded semantics for paraconsistent logic programs. In Fifth Generation Computer Systems, pages 592\u2013599. ICOT, 1992."},{"issue":"3","key":"18_CR35","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1093\/logcom\/5.3.265","volume":"5","author":"C. Sakama","year":"1995","unstructured":"C. Sakama and K. Inoue. Paraconsistent Stable Semantics for extended disjunctive programs. Journal of Logic and Computation, 5(3):265\u2013285, 1995.","journal-title":"Journal of Logic and Computation"},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"G. Wagner. A database needs two kinds of negation. In B. Thalheim, J. Demetrovics, and H.-D. Gerhardt, editors, Mathematical Foundations of Database Systems, pages 357\u2013371. LNCS 495, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54009-1_25"},{"key":"18_CR37","doi-asserted-by":"crossref","unstructured":"G. Wagner. Reasoning with inconsistency in extended deductive databases. In L. M. Pereira and A. Nerode, editors, LPNMR'93, pages 300\u2013315. MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0025"},{"key":"18_CR38","unstructured":"G. Wagner. Vivid logic: Knowledge-based reasoning with two kinds of negation. Lecture Notes on Artificial Intelligence, 764, 1994."},{"key":"18_CR39","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0743-1066(93)90041-E","volume":"15","author":"M. Wallace","year":"1993","unstructured":"M. Wallace. Tight, consistent, and computable completions for unrestricted logic programs. Journal of Logic Programming, 15:243\u2013273, 1993.","journal-title":"Journal of Logic Programming"},{"key":"18_CR40","unstructured":"J.-H. You, S. Ghosh, L.-Y. Yuan, and R. Goebel. An introspective framework for paraconsistent logic programs. In J. W. Lloyd, editor, ILPS95. The MIT Press, 1995."}],"container-title":["Lecture Notes in Computer Science","Logic Programming And Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63255-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T18:12:50Z","timestamp":1713636770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63255-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632559","9783540692492"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-63255-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}