{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:44:26Z","timestamp":1752230666452},"publisher-location":"Dordrecht","reference-count":92,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048150632"},{"type":"electronic","value":"9789401717397"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-94-017-1739-7_8","type":"book-chapter","created":{"date-parts":[[2013,3,8]],"date-time":"2013-03-08T11:42:47Z","timestamp":1362742967000},"page":"241-320","source":"Crossref","is-referenced-by-count":19,"title":["A Survey of Paraconsistent Semantics for Logic Programs"],"prefix":"10.1007","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(95)00148-4","volume":"28","author":"S Adali","year":"1996","unstructured":"S. Adali and V. S. Subrahmanian. Amalgamating knowledge bases, III: Algorithms, data structures, and query processing. JournalofLogic Programming, 28 (1): 45 \u2013 88, 1996.","journal-title":"JournalofLogic Programming"},{"key":"8_CR2","volume-title":"Springer\u2014Verlag","author":"[Alferes and Pereira, 19961 J. J. Alferes and L. M","year":"1996","unstructured":"Alferes and Pereira, 19961 J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming, volume LNAI 1111. Springer\u2014Verlag, 1996."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Alferes et al.,1995] J. J. Alferes, C. V. Damdsio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Special Issue of the Journal of Automated Reasoning,14(1): 93\u2013147, 1995.","DOI":"10.1007\/BF00883931"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Alferes et al.,1996] J. J. Alferes, L. M. Pereira, and T. Przymusinski. Strong and explicit negation in non-monotonic reasoning and logic programs. In JELIA\u201996, European Workshop on Logic in Artificial Intelligence. Springer-Verlag, 1996. An extended version will appear in JAR.","DOI":"10.1007\/3-540-61630-6_10"},{"key":"8_CR5","volume-title":"Semantics of Logic Programs with Explicit Negation","author":"J J\u00falio Alferes","year":"1993","unstructured":"Jos\u00e9 J\u00falio Alferes. Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa, October 1993."},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"A. Almukdad and D. Nelson. Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49: 231 \u2013 233, 1984.","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR7","volume-title":"Logic Programming: a tool for reasoning","author":"Joaquim Nunes Apar\u00edcio","year":"1994","unstructured":"Joaquim Nunes Apar\u00edcio. Logic Programming: a tool for reasoning. PhD thesis, Universidade Nova de Lisboa, January 1994."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Apt and Bezem, 1991] K. Apt and M. Bezem. Acyclic programs. New Generation Computing,9(3):335\u2013363,1991. Also appeared in ICLP\u201990.","DOI":"10.1007\/BF03037168"},{"key":"8_CR9","first-page":"9","volume":"20","author":"K Apt","year":"1994","unstructured":"K. Apt and R. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19, 20: 9 \u2013 71, 1994.","journal-title":"19"},{"issue":"20","key":"8_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C Baral","year":"1994","unstructured":"C. Baral and M. Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19 \/20: 73 \u2013 148, 1994.","journal-title":"Journal of Logic Programming"},{"key":"8_CR11","volume-title":"J. M. Dunn and G. Epstein, editors, Modern Uses of Many-valued Logic, pages 8\u201337. D. Reidel","author":"ND Belnap","year":"1977","unstructured":"N. D. Belnap. A useful four-valued logic. In J. M. Dunn and G. Epstein, editors, Modern Uses of Many-valued Logic, pages 8\u201337. D. Reidel, 1977."},{"key":"8_CR12","volume-title":"J. J. Alferes, L. M. Pereira, and E. Orlowska, editors, Logics in Artificial Intelligence. Proceedings of the European Ws. JELIA96, volume LNAI 1126, pages 404\u2013416. Springer-Verlag","author":"P Besnard","year":"1996","unstructured":"P. Besnard and T. Schaub. Signed systems for paraconsistent reasoning. In J. J. Alferes, L. M. Pereira, and E. Orlowska, editors, Logics in Artificial Intelligence. Proceedings of the European Ws. JELIA\u201996, volume LNAI 1126, pages 404\u2013416. Springer-Verlag, 1996."},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"HA Blair","year":"1989","unstructured":"H. A. Blair and V. S. Subrahmanian. Paraconsistent logic programming. Theoretical Computer Science, 68: 135 \u2013 154, 1989.","journal-title":"Theoretical Computer Science"},{"key":"8_CR14","volume-title":"K. Apt, editor, InternationalJoint Conference and Symposium on Logic Programming, pages 417\u2013430. MIT Press","author":"P Bonatti","year":"1992","unstructured":"P. Bonatti. Autoepistemic logics as a unifying framework for the semantics of logic programs. In K. Apt, editor, InternationalJoint Conference and Symposium on Logic Programming, pages 417\u2013430. MIT Press, 1992."},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/73721.73725","volume-title":"Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS89)","author":"F Bry","year":"1989","unstructured":"F Bry. Logic programming as constructivism: a formalization and its application to databases. In Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS\u201989), pages 34 \u2013 50, 1989."},{"key":"8_CR16","volume-title":"Information Systems and Artificial Intelligence: Integration Aspects, pages 30\u201346. Springer-Verlag","author":"F Bry","year":"1990","unstructured":"F. Bry. Negation in logic programming: a formalization in constructive logic. In Information Systems and Artificial Intelligence: Integration Aspects, pages 30\u201346. Springer-Verlag, 1990."},{"key":"8_CR17","volume-title":"Proc. Joint International Conference and Symposium on Logic Programming 96 (JICSLP 96), pages 453\u2013467. The MIT Press","author":"F Bry","year":"1996","unstructured":"F. Bry. A compositional semantics for logic programs and deductive databases. In Proc. Joint International Conference and Symposium on Logic Programming\u2019 96 (JICSLP\u2019 96), pages 453\u2013467. The MIT Press, 1996."},{"key":"8_CR18","doi-asserted-by":"publisher","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 \u2013 510, 1974.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"8_CR19","volume-title":"C. Pinto-Ferreira and N. J. Mamede, editors, Progress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, LNAI 990, pages 377\u2013386. Springer-Verlag","author":"CV Dam\u00e2sio","year":"1995","unstructured":"C. V. Dam\u00e2sio and L. M. Pereira. A model theory for paraconsistent logic programming. In C. Pinto-Ferreira and N. J. Mamede, editors, Progress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, LNAI 990, pages 377\u2013386. Springer-Verlag, 1995."},{"key":"8_CR20","volume-title":"Proceedings of LPNMR\u2019 97","author":"CV Dam\u00e2sio","year":"1997","unstructured":"C. V. Dam\u00e2sio and L. M. Pereira. A paraconsistent semantics with contradiction support detection. In J. Dix and A. Nerode, editors, Proceedings of LPNMR\u2019 97, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1997."},{"key":"8_CR21","volume-title":"Paraconsistent Extended Logic Programming with Constraints","author":"Carlos Viegas Dam\u00e2sio","year":"1996","unstructured":"Carlos Viegas Dam\u00e2sio. Paraconsistent Extended Logic Programming with Constraints. PhD thesis, Universidade Nova de Lisboa, October 1996."},{"issue":"3","key":"8_CR22","first-page":"227","volume":"XXII","author":"[Dix, 1995a1 J. Dix. A Classification-Theory of Semantics of Normal Logic Programs","year":"1995","unstructured":"Dix, 1995a1 J. Dix. A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundamenta Informaticae, XXII (3): 227 \u2013 255, 1995.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"8_CR23","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 \u2013 288, 1995.","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"8_CR24","doi-asserted-by":"publisher","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 \u2013 79, 1991.","journal-title":"New Generation Computing"},{"issue":"23","key":"8_CR25","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M Emden","year":"1976","unstructured":"M. Van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4 (23): 733 \u2013 742, 1976.","journal-title":"Journal of ACM"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/BF03037172","volume":"9","author":"F Fages","year":"1991","unstructured":"F. Fages. A new fixpoint semantics for general logic programs compared with the well-founded and stable semantics. New Generation Computing, 9: 425 \u2013 443, 1991.","journal-title":"New Generation Computing"},{"issue":"4","key":"8_CR27","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2 (4): 295 \u2013 312, 1985.","journal-title":"Journal of Logic Programming"},{"key":"8_CR28","doi-asserted-by":"publisher","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 \u2013 116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"8_CR29","volume-title":"Proceedings of ILPS91, pages 71\u201384. MIT Press","author":"M Fitting","year":"1991","unstructured":"M. Fitting. Well-founded semantics, generalized. In Proceedings of ILPS\u201991, pages 71\u201384. MIT Press, 1991."},{"key":"8_CR30","volume-title":"B. Neumann, editor, Proceedings ECAI92, pages 623\u2013627. John Wiley & Sons","author":"J Fox","year":"1992","unstructured":"J. Fox, P. Krause, and S. Ambler. Arguments, contradictions and practical reasoning. In B. Neumann, editor, Proceedings ECAI\u201992, pages 623\u2013627. John Wiley & Sons, 1992."},{"issue":"3","key":"8_CR31","first-page":"620","volume":"38","author":"A Gelder","year":"1991","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38 (3): 620 \u2013 650, 1991.","journal-title":"Journal of the ACM"},{"key":"8_CR32","volume-title":"8th Symposium on Principles of Database Systems. ACM SIGACT-SIGMOD","author":"A Gelder","year":"1989","unstructured":"A. Van Gelder. The alternating fixpoints of logic programs with negation. In 8th Symposium on Principles of Database Systems. ACM SIGACT-SIGMOD, 1989."},{"key":"8_CR33","volume-title":"R. Kowalski and K. A. Bowen, editors, 5th International Conference on Logic Programming, pages 1070\u20131080. MIT Press","author":"M Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, 5th International Conference on Logic Programming, pages 1070\u20131080. MIT Press, 1988."},{"key":"8_CR34","volume-title":"Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579\u2013597. MIT Press","author":"[Gelfond and Lifschitz, 19901 M. Gelfond and V. Lifschitz","year":"1990","unstructured":"Gelfond and Lifschitz, 19901 M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579\u2013597. MIT Press, 1990."},{"key":"8_CR35","volume-title":"AAAI 87, pages 207\u2013211. Morgan Kaufmann","author":"M Gelfond","year":"1987","unstructured":"M. Gelfond. On stratified autoepistemic theories. In AAAI\u2019 87, pages 207\u2013211. Morgan Kaufmann, 1987."},{"key":"8_CR36","first-page":"243","volume-title":"Proceedings of AAAP86","author":"ML Ginsberg","year":"1986","unstructured":"M. L. Ginsberg. Multivalued logics. In Proceedings of AAAP86, pages 243 \u2013 247, 1986."},{"key":"8_CR37","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"ML Ginsberg","year":"1988","unstructured":"M. L. Ginsberg. Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence, 4: 265 \u2013 316, 1988.","journal-title":"Computational Intelligence"},{"issue":"1","key":"8_CR38","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1109\/69.368510","volume":"7","author":"J Grant","year":"1995","unstructured":"J. Grant and V. S. Subrahmanian. Reasoning in inconsistent knowledge bases. IEEE Transactions on Knowledge and Data Engineering, 7 (1): 177 \u2013 189, 1995.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"3","key":"8_CR39","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2689697","volume":"48","author":"J Grant","year":"1975","unstructured":"J. Grant. Inconsistent and incomplete logics. Mathematics Magazine, 48 (3): 154 \u2013 159, 1975.","journal-title":"Mathematics Magazine"},{"key":"8_CR40","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1305\/ndjfl\/1093888404","volume":"XIX","author":"J Grant","year":"1978","unstructured":"J. Grant. Classifications for inconsistent theories. Notre Dame Journal of Formal Logic, XIX: 435 \u2013 444, 1978.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"8_CR41","volume-title":"G. Lakemeyer and B. Nebel, editors, Proceedings ECM 92 Workshop on Theoretical Foundations of Knowledge Representation, pages 40-44. ECAI92 Press","author":"CM Jonker","year":"1992","unstructured":"C. M. Jonker and C. Witteveen. Revision by expansion. In G. Lakemeyer and B. Nebel, editors, Proceedings ECM\u2019 92 Workshop on Theoretical Foundations of Knowledge Representation, pages 40\u201344. ECAI\u201992 Press, 1992."},{"key":"8_CR42","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"8","author":"M Kifer","year":"1992","unstructured":"M. Kifer and E. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated Reasoning, 8: 179 \u2013 215, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR43","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M Kifer","year":"1992","unstructured":"M. Kifer and V. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12: 335 \u2013 367, 1992.","journal-title":"Journal of Logic Programming"},{"key":"8_CR44","volume-title":"Warren and Szeredi, editors, ICLP90. MIT Press","author":"R Kowalski","year":"1990","unstructured":"R. Kowalski and F. Sadri. Logic programs with exceptions. In Warren and Szeredi, editors, ICLP90. MIT Press, 1990."},{"key":"8_CR45","doi-asserted-by":"crossref","unstructured":"Krause et al.,1995] P. Krause, S. Ambler, M. Elvang-Goransson, and J. Fox. A logic of argumentation for reasoning under uncertainty. Computational Intelligence, 11(1): 113\u2013131, 1995.","DOI":"10.1111\/j.1467-8640.1995.tb00025.x"},{"key":"8_CR46","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","volume":"30","author":"H Levesque","year":"1986","unstructured":"H. Levesque. Making believers out of computers. Artificial Intelligence, 30: 81 \u2013 107, 1986.","journal-title":"Artificial Intelligence"},{"key":"8_CR47","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF00297511","volume":"17","author":"H Levesque","year":"1988","unstructured":"H. Levesque. Logic and the complexity of reasoning. Journal of Philosophical Logic, 17: 355 \u2013 389, 1988.","journal-title":"Journal of Philosophical Logic"},{"key":"8_CR48","doi-asserted-by":"publisher","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 \u2013 95, 1996.","journal-title":"Artificial Intelligence"},{"key":"8_CR49","first-page":"51","volume":"23","author":"J Lukasiewicz","year":"1930","unstructured":"J. Lukasiewicz. Philosophische bemerkungen zu mehrwertigen systemen des aussagenkalk\u00fcls. Comptes rendus de la Societ\u00e9 des Sciences et Lettres de Varsovie, 23: 51 \u2013 77, 1930.","journal-title":"Comptes rendus de la Societ\u00e9 des Sciences et Lettres de Varsovie"},{"key":"8_CR50","volume-title":"Springer-Verlag","author":"W Marek","year":"1993","unstructured":"W. Marek and M. Truszczydski. Nonmonotonic Logic - Context-Dependent Reasoning. Springer-Verlag, 1993."},{"key":"8_CR51","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/978-3-642-81952-0_30","volume":"1","author":"B Meltzer","year":"1983","unstructured":"B. Meltzer. Theorem-proving for computers: some results on resolution and renaming. Automatation of Reasoning, 1: 493 \u2013 495, 1983.","journal-title":"Automatation of Reasoning"},{"issue":"34","key":"8_CR52","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1994-201236","volume":"20","author":"J Minker","year":"1994","unstructured":"J. Minker and C. Ruiz. Semantics for disjunctive logic programs with explicit and default negation. Fundamenta lnformaticae, 20 (3\/4): 145 \u2013 192, 1994.","journal-title":"Fundamenta lnformaticae"},{"key":"8_CR53","volume-title":"Proc. MAI Workshop on Non-monotonic Reasoning, pages 396-401, New Paltz","author":"RC Moore","year":"1984","unstructured":"R. C. Moore. Possible-world semantics for autoepistemic logic. In Proc. MAI Workshop on Non-monotonic Reasoning, pages 396\u2013401, New Paltz, 1984."},{"key":"8_CR54","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"RC Moore","year":"1985","unstructured":"R. C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25: 75 \u2013 94, 1985.","journal-title":"Artificial Intelligence"},{"key":"8_CR55","volume-title":"Proc. of the 1990 Norht American Conf. on Logic Programming, pages 255\u2013272. The MIT Press","author":"S Naqvi","year":"1990","unstructured":"S. Naqvi and F. Rossi. Reasoning in inconsistent databases. In Proc. of the 1990 Norht American Conf. on Logic Programming, pages 255\u2013272. The MIT Press, 1990."},{"key":"8_CR56","doi-asserted-by":"publisher","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 \u2013 26, 1949.","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR57","first-page":"49","volume-title":"L. Haaparanta, M. Kusch, and I. Niiniluoto, editors, Language, Knowledge and Intentionality, pages 430\u2013453. Acta Philosophica Fennica","author":"D Pearce","year":"1990","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":"8_CR58","volume-title":"P. Schroeder-Heister, editor, Extensions of Logic Programming, pages 311\u2013326. LNAI 475, Springer-Verlag","author":"D Pearce","year":"1991","unstructured":"D. Pearce and G. Wagner. Logic programming with strong negation. In P. Schroeder-Heister, editor, Extensions of Logic Programming, pages 311\u2013326. LNAI 475, Springer-Verlag, 1991."},{"key":"8_CR59","volume-title":"D. Pearce and H. Wansing, editors, Nonclassical logic and information processing, number 619 in LNAI, pages 63\u201379. Springer-Verlag","author":"D Pearce","year":"1992","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, number 619 in LNAI, pages 63\u201379. Springer-Verlag, 1992."},{"key":"8_CR60","volume-title":"L.M. Pereira and A. Nerode, editors, Logic Programming and Nonmonotonic Reasoning - proceedings of the second international workshop, pages 457\u2013475. MIT Press","author":"D Sets","year":"1993","unstructured":"D. Pearce. Answer sets and constructive logic, II: Extended logic programs and related non-monotonic formalisms. In L.M. Pereira and A. Nerode, editors, Logic Programming and Nonmonotonic Reasoning - proceedings of the second international workshop, pages 457\u2013475. MIT Press, 1993."},{"key":"8_CR61","volume-title":"DFKI","author":"D Safety","year":"1995","unstructured":"D. Pearce. Safety, stability and deductive bases. Technical report, DFKI, 1995."},{"key":"8_CR62","volume-title":"B. Neumann, editor, European Conference on Artificial Intelligence 1992, pages 102\u2013106. John Wiley & Sons","author":"LM 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 1992, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"8_CR63","doi-asserted-by":"crossref","unstructured":"Pereira et al.,1991] L. M. Pereira, J. J. Alferes, and J. N. Aparicio. Contradiction Removal within Well-Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and Non-monotonic Reasoning,pages 105\u2013119. MIT Press, 1991.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"8_CR64","doi-asserted-by":"crossref","unstructured":"Pereira et al.,1993a] L. M. Pereira, C. V. Dam\u00e2sio, and J. J. Alferes. Debugging by diagnosing assumptions. In P. A. Fritzson, editor, Automatic Algorithmic Debugging, AADEBUG\u2019 93,LNCS 749, pages 58\u201374. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0019400"},{"key":"8_CR65","doi-asserted-by":"crossref","unstructured":"Pereira et al.,1993b] L. M. Pereira, C. V. Dam\u00e2sio, 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, Lisboa, Portugal, 1993. MIT Press.","DOI":"10.7551\/mitpress\/4307.001.0001"},{"key":"8_CR66","doi-asserted-by":"crossref","unstructured":"Pereira et al.,1993c] L. M. Pereira, C. V. Dam\u00e2sio, 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, Porto, Portugal, 1993. Springer-Verlag.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"8_CR67","volume-title":"A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and Non-monotonic Reasoning, pages 228\u2013242. MIT Press","author":"SG Pimentel","year":"1991","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, Logic Programming and Non-monotonic Reasoning, pages 228\u2013242. MIT Press, 1991."},{"key":"8_CR68","volume-title":"A family of paraconsistent semantics for extended logic programs","author":"S Pradhan","year":"1996","unstructured":"S. Pradhan. A family of paraconsistent semantics for extended logic programs. Technical report, CS, University of Maryland, 1996."},{"key":"8_CR69","doi-asserted-by":"crossref","unstructured":"Priest et al.,1988] G. Priest, R. Routley, and J. Norman. Paraconsistent logics. Philosophia Verlag, 1988.","DOI":"10.2307\/j.ctv2x8v8c7.8"},{"key":"8_CR70","volume-title":"R. Banerji, editor, Formal Techniques in Artificial Intelligence, a Sourcebook, pages 321\u2013367. North Holland","author":"H Przymusinska","year":"1990","unstructured":"H. Przymusinska and T. C. Przymusinski. Semantic issues in deductive databases and logic programs. In R. Banerji, editor, Formal Techniques in Artificial Intelligence, a Sourcebook, pages 321\u2013367. North Holland, 1990."},{"key":"8_CR71","volume-title":"J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193\u2013216. Morgan Kaufmann","author":"TC Przymusinski","year":"1988","unstructured":"T. C. Przymusinski. On the declarative semantics of stratified deductive databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193\u2013216. Morgan Kaufmann, 1988."},{"key":"8_CR72","volume-title":"Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 459\u2013477. MIT Press","author":"TC Przymusinski","year":"1990","unstructured":"T. C. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 459\u2013477. MIT Press, 1990."},{"key":"8_CR73","volume-title":"Debray and Hermenegildo, editors, North American Conference on Logic Programming, pages 40\u201357. MIT Press","author":"TC Przymusinski","year":"1990","unstructured":"T. C. Przymusinski. Stationary semantics for disjunctive logic programs and deductive databases. In Debray and Hermenegildo, editors, North American Conference on Logic Programming, pages 40\u201357. MIT Press, 1990."},{"key":"8_CR74","volume-title":"A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and Non-monotonic Reasoning, pages 3\u201320. MIT Press","author":"TC Przymusinski","year":"1991","unstructured":"T. C. Przymusinski. Autoepistemic logic of closed beliefs and logic programming. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and Non-monotonic Reasoning, pages 3\u201320. MIT Press, 1991."},{"key":"8_CR75","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF01530826","volume":"14","author":"TC Przymusinski","year":"1995","unstructured":"T. C. Przymusinski. Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 14: 323 \u2013 357, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"8_CR76","volume-title":"Basil Blackwell","author":"N Rescher","year":"1980","unstructured":"N. Rescher and R. Brandom. The logic of inconsistency. Basil Blackwell, 1980."},{"issue":"3","key":"8_CR77","doi-asserted-by":"publisher","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 \u2013 285, 1995.","journal-title":"Journal of Logic and Computation"},{"key":"8_CR78","volume-title":"Fifth Generation Computer Systems, pages 592-599. ICOT","author":"C Sakama","year":"1992","unstructured":"C. Sakama. Extended well-founded semantics for paraconsistent logic programs. In Fifth Generation Computer Systems, pages 592\u2013599. ICOT, 1992."},{"key":"8_CR79","volume-title":"Studies on Disjunctive Logic Programming","author":"C Sakama","year":"1994","unstructured":"C. Sakama. Studies on Disjunctive Logic Programming. PhD thesis, Faculty of Engineering of Kyoto University, July 1994."},{"key":"8_CR80","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1111\/j.1467-8640.1991.tb00390.x","volume":"7","author":"Marco Schaerf","year":"1991","unstructured":"Marco Schaerf. Notes on ginsberg\u2019s multivalued logics. Computational Intelligence, 7: 154 \u2013 159, 1991.","journal-title":"Computational Intelligence"},{"issue":"34","key":"8_CR81","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF01536398","volume":"15","author":"JS Schlipf","year":"1995","unstructured":"J. S. Schlipf. Complexity and undecidability results for logic programming. Annals of Mathematics and Artificial Intelligence, 15 (3,4): 257 \u2013 288, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"8_CR82","volume-title":"J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 19-88. Morgan Kaufmann","author":"J Shepherdson","year":"1988","unstructured":"J. Shepherdson. Negation in logic programming for general logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 19\u201388. Morgan Kaufmann, 1988."},{"key":"8_CR83","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(92)90214-Z","volume":"93","author":"VS Subrahmanian","year":"1992","unstructured":"V. S. Subrahmanian. Paraconsistent disjunctive deductive databases. Theoretical Computer Science, 93: 115 \u2013 141, 1992.","journal-title":"Theoretical Computer Science"},{"key":"8_CR84","volume-title":"Proc. ILPS93. MIT Press","author":"F Teusink","year":"1993","unstructured":"F. Teusink. A proof procedure for extended logic programs. In Proc. ILPS\u201993. MIT Press, 1993."},{"key":"8_CR85","volume-title":"Cambridge University Press","author":"S","year":"1958","unstructured":"S. Toulmin. The uses of arguments. Cambridge University Press, 1958."},{"key":"8_CR86","volume-title":"D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. III\u201e pages 71\u2013116. D. Reidel Publishing Company","author":"A Urquhart","year":"1986","unstructured":"A. Urquhart. Many-valued logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. III\u201e pages 71\u2013116. D. Reidel Publishing Company, 1986."},{"key":"8_CR87","volume-title":"B. Thalheim, J. Demetrovics, and H-D. Gerhardt, editors, Mathematical Foundations of Database Systems, pages 357\u2013371. LNCS 495, Springer-Verlag","author":"G Wagner","year":"1991","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."},{"issue":"6","key":"8_CR88","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1093\/logcom\/1.6.835","volume":"1","author":"G Wagner","year":"1991","unstructured":"G. Wagner. Logic programming with strong negation and inexact predicates. Journal of Logic and Computation, 1 (6): 835 \u2013 859, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"8_CR89","volume-title":"L. M. Pereira and A. Nerode, editors, 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, pages 300\u2013315. MIT Press","author":"G Wagner","year":"1993","unstructured":"G. Wagner. Reasoning with inconsistency in extended deductive databases. In L. M. Pereira and A. Nerode, editors, 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, pages 300\u2013315. MIT Press, 1993."},{"key":"8_CR90","doi-asserted-by":"crossref","unstructured":"G. Wagner. Vivid logic: Knowledge-based reasoning with two kinds of negation. LNAI 764, 1994.","DOI":"10.1007\/3-540-57604-5"},{"key":"8_CR91","doi-asserted-by":"publisher","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 \u2013 273, 1993.","journal-title":"Journal of Logic Programming"},{"key":"8_CR92","unstructured":"You et al.,1995] Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, and Randy Goebel. An introspective framework for paraconsistent logic programs. In John W. Lloyd, editor, ILPS95. The MIT Press, 1995."}],"container-title":["Reasoning with Actual and Potential Contradictions"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-1739-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T00:43:58Z","timestamp":1688085838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-1739-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9789048150632","9789401717397"],"references-count":92,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-1739-7_8","relation":{},"subject":[],"published":{"date-parts":[[1998]]}}}