{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:37Z","timestamp":1761611077818,"version":"3.41.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1998,4]]},"DOI":"10.1023\/a:1005957026440","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T00:10:48Z","timestamp":1040515848000},"page":"191-213","source":"Crossref","is-referenced-by-count":27,"title":["Signed Systems for Paraconsistent Reasoning"],"prefix":"10.1007","volume":"20","author":[{"given":"Ph.","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"146982_CR1","unstructured":"Anderson, A. and Belnap, N.: Entailment: The Logic of Relevance and Necessity Vol. I, Princeton University Press, 1975."},{"key":"146982_CR2","doi-asserted-by":"crossref","unstructured":"Arieli, O. and Avron, A.: Logical bilattices and inconsistent data, in Proc. Logic in Computer Science Conference, 1994, pp. 468\u2013476.","DOI":"10.1109\/LICS.1994.316044"},{"key":"146982_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N.: A useful four-valued logic, in J. Dunn and G. Epstein (eds), Modern Uses of Multiple-Valued Logic, Reidel, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"146982_CR4","doi-asserted-by":"crossref","unstructured":"Benferhat, S., Dubois, D. and Prade, H.: Argumentative inference in uncertain and inconsistent knowledge bases, in Proc. Ninth International Conference on Uncertainty in Artificial Intelligence, 1993, pp. 411\u2013419.","DOI":"10.1016\/B978-1-4832-1451-1.50054-8"},{"key":"146982_CR5","unstructured":"Besnard, P.: Paraconsistent logic approach to knowledge representation, in M. de Glas and D. Gabbay (eds), Proc. First World Conference on Fundamentals of Artificial Intelligence, 1991."},{"issue":"2","key":"146982_CR6","first-page":"45","volume":"5","author":"H. Blair","year":"1988","unstructured":"Blair, H. and Subrahmanian, V. S.: Paraconsistent foundations of logic programming, J. Non-Classical Logics\n5(2) (1988), 45\u201373.","journal-title":"J. Non-Classical Logics"},{"issue":"2","key":"146982_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. Blair","year":"1989","unstructured":"Blair, H. and Subrahmanian, V. S.: Paraconsistent logic programming, Theoretical Computer Science\n68(2) (1989), 135\u2013154.","journal-title":"Theoretical Computer Science"},{"key":"146982_CR8","unstructured":"Brass, S.: On the semantics of supernormal defaults, in Ruzena Bajcsy (ed.), Proc. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1993, pp. 578\u2013583."},{"key":"146982_CR9","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"Brewka, G.: Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, Cambridge, 1991."},{"key":"146982_CR10","unstructured":"Carnielli, W., Fari\u00f1as del Cerro, L. and Lima Marques, M.: Contextual negations and reasoning with contradictions, in J. Mylopoulos and R. Reiter (eds), Proc. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1991, pp. 532\u2013537."},{"key":"146982_CR11","first-page":"497","volume":"15","author":"N. da Costa","year":"1974","unstructured":"da Costa, N.: On the theory of inconsistent formal systems, Notre Dame Journal of Formal Logic\n15 (1974), 497\u2013510.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"146982_CR12","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V. and Pereira, L. M.: A survey on paraconsistent semantics for extended logic programs and transformations for well-founded semantics, in D. Gabbay and P. Smets (eds), Handbook of Defeasible Reasoning and Uncertainty Management Systems Vol. 2, Oxford University Press, 1997, to appear.","DOI":"10.1007\/978-94-017-1739-7_8"},{"key":"146982_CR13","unstructured":"Dix, J.: On cumulativity in default logic and its relation to Poole's approach, in B. Neumann (ed.), Proc. European Conference on Artificial Intelligence, John Wiley and Sons, 1992, pp. 289\u2013293."},{"key":"146982_CR14","unstructured":"Gabbay, D. and Hunter, A.: Restricted access logics for inconsistent information, in M. Clarke, R. Kruse, and S. Moral (eds), Proc. European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer-Verlag, 1993."},{"key":"146982_CR15","volume-title":"Logic for Computer Science: Foundations of Automated Theorem Proving","author":"J. Gallier","year":"1986","unstructured":"Gallier, J.: Logic for Computer Science: Foundations of Automated Theorem Proving, Harper and Row, New York, 1986."},{"issue":"1","key":"146982_CR16","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/69.368510","volume":"7","author":"J. Grant","year":"1995","unstructured":"Grant, J. and Subrahmanian, V. S.: Reasoning in inconsistent knowledge bases, IEEE Transactions on Knowledge and Data Engineering\n7(1) (1995), 177\u2013189.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"146982_CR17","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90057-7","volume":"42","author":"J. Horty","year":"1990","unstructured":"Horty, J., Thomason, R. and Touretzky, D.: A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence\n42 (1990), 311\u2013348.","journal-title":"Artificial Intelligence"},{"key":"146982_CR18","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Lozinskii, E.: RI: A logic for reasoning with inconsistency, in Proc. Logic in Computer Science Conference, 1989, pp. 253\u2013262.","DOI":"10.1109\/LICS.1989.39180"},{"key":"146982_CR19","unstructured":"Makinson, D.: General theory of cumulative inference, in M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall (eds), Proc. Second International Workshop on Non-Monotonic Reasoning Vol. 346 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1989, pp. 1\u201318."},{"key":"146982_CR20","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"R. Manor","year":"1970","unstructured":"Manor, R. and Rescher, N.: On inferences from inconsistent information, Theory and Decision\n1 (1970), 179\u2013219.","journal-title":"Theory and Decision"},{"key":"146982_CR21","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0004-3702(82)90011-X","volume":"18","author":"N. Murray","year":"1982","unstructured":"Murray, N.: Completely non-clausal theorem proving, Artificial Intelligence\n18 (1982), 67\u201385.","journal-title":"Artificial Intelligence"},{"key":"146982_CR22","first-page":"453","volume-title":"Proc. Second International Conference on the Principles of Knowledge Representation and Reasoning","author":"T. Pequeno","year":"1991","unstructured":"Pequeno, T. and Buchsbaum, A.: The logic of epistemic inconsistency, In J. Allen, R. Fikes and E. Sandewall (eds), Proc. Second International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, San Mateo, CA, 1991, pp. 453\u2013560."},{"key":"146982_CR23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical framework for default reasoning, Artificial Intelligence\n36 (1988), 27\u201347.","journal-title":"Artificial Intelligence"},{"key":"146982_CR24","doi-asserted-by":"crossref","unstructured":"Priest, G., Routley, R. and Norman, J.: Paraconsistent Logics, Philosophica Verlag, 1989.","DOI":"10.2307\/j.ctv2x8v8c7.8"},{"issue":"1\u20132","key":"146982_CR25","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning, Artificial Intelligence\n13(1\u20132) (1980), 81\u2013132.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"146982_CR26","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles, Artificial Intelligence\n32(1) (1987), 57\u201396.","journal-title":"Artificial Intelligence"},{"key":"146982_CR27","unstructured":"Rescher, N. and Brandom, R.: The Logic of Inconsistency, Blackwell, 1980."},{"key":"146982_CR28","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0004-3702(92)90105-7","volume":"57","author":"N. Roos","year":"1992","unstructured":"Roos, N.: A logic for reasoning with inconsistent knowledge, Artificial Intelligence\n57 (1992), 69\u2013103.","journal-title":"Artificial Intelligence"},{"key":"146982_CR29","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1111\/j.1467-8640.1985.tb00061.x","volume":"1","author":"E. Sandewall","year":"1985","unstructured":"Sandewall, E.: A functional approach to non-monotonic logic, Computational Intelligence\n1 (1985), 80\u201387.","journal-title":"Computational Intelligence"},{"key":"146982_CR30","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"Shoenfield, Joseph, R.: Mathematical Logic, Addison-Wesley, Reading, MA, 1967."},{"key":"146982_CR31","unstructured":"Wagner, G.: Ex contradictione nihil sequitur, in J. Mylopoulos and R. Reiter (eds), Proc. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1991, pp. 538\u2013543."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005957026440.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005957026440\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005957026440.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:31:33Z","timestamp":1749123093000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005957026440"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4]]},"references-count":31,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,4]]}},"alternative-id":["146982"],"URL":"https:\/\/doi.org\/10.1023\/a:1005957026440","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1998,4]]}}}