{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:08Z","timestamp":1725664808863},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:09:08Z","timestamp":1330276148000},"page":"404-416","source":"Crossref","is-referenced-by-count":5,"title":["A simple signed system for paraconsistent reasoning"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"28_CR1","unstructured":"A. Anderson and N. Belnap. Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press, 1975."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"O. Arieli and A. Avron. Logical bilattices and inconsistent data. In Proceedings of the Logic in Computer Science Conference, pages 468\u2013476, 1994.","DOI":"10.1109\/LICS.1994.316044"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"N. Belnap. A useful four-valued logic. In J. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logic. Reidel, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"S. Benferhat, D. Dubois, and H. Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In Proceedings of Ninth International Conference on Uncertainty in Artificial Intelligence, pages 411\u2013419, 1993.","DOI":"10.1016\/B978-1-4832-1451-1.50054-8"},{"key":"28_CR5","unstructured":"P. Besnard. Paraconsistent logic approach to knowledge representation. In M. de Glas and D. Gabbay, editors, Proceedings of the First World Conference on Fundamentals of Artificial Intelligence, 1991."},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"P. Besnard and T. Schaub. A simple signed system for paraconsistent reasoning. Technical report, IRISA, 1996. In preparation.","DOI":"10.1007\/3-540-61630-6_28"},{"key":"28_CR7","unstructured":"S. Brass. On the semantics of supernormal defaults. In Ruzena Bajcsy, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 578\u2013583. Morgan Kaufmann Publishers, 1993."},{"key":"28_CR8","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"G. Brewka. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991."},{"key":"28_CR9","unstructured":"W. Carnielli, L. Fari\u00f1as del Cerro, and M. Lima Marques. Contextual negations and reasoning with contradictions. In J. Mylopoulos and R. Reiter, editors, Proceedings of the International Joint Conference on Artificial Intelligence, pages 532\u2013537. Morgan Kaufmann Publishers, 1991."},{"key":"28_CR10","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. Costa da","year":"1974","unstructured":"N. da Costa. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15:497\u2013510, 1974.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"28_CR11","unstructured":"J. Dix. On cumulativity in default logic and its relation to Poole's approach. In B. Neumann, editor, Proceedings of the European Conference on Artificial Intelligence, pages 289\u2013293. John Wiley & sons, 1992."},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"D. Gabbay and A. Hunter. Restricted access logics for inconsistent information. In M. Clarke, R. Kruse, and S. Moral, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Springer Verlag, 1993.","DOI":"10.1007\/BFb0028193"},{"key":"28_CR13","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90057-7","volume":"42","author":"J. Horty","year":"1990","unstructured":"J. Horty, R. Thomason, and D. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks. Artificial Intelligence, 42:311\u2013348, 1990.","journal-title":"Artificial Intelligence"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"M. Kifer and E. Lozinskii. RI: A logic for reasoning with inconsistency. In Proceedings of the Logic in Computer Science Conference, pages 253\u2013262, 1989.","DOI":"10.1109\/LICS.1989.39180"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"D. Makinson. General theory of cumulative inference. In M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall, editors, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, volume 346 of Lecture Notes in Artificial Intelligence, pages 1\u201318. Springer Verlag, 1989.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"R. Manor","year":"1970","unstructured":"R. Manor and N. Rescher. On inferences from inconsistent information. Theory and Decision, 1:179\u2013219, 1970.","journal-title":"Theory and Decision"},{"key":"28_CR17","first-page":"453","volume-title":"The logic of epistemic inconsistency","author":"T. Pequeno","year":"1991","unstructured":"T. Pequeno and A. Buchsbaum. The logic of epistemic inconsistency. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, pages 453\u2013560, San Mateo, CA, 1991. Morgan Kaufmann Publishers."},{"key":"28_CR18","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27\u201347, 1988.","journal-title":"Artificial Intelligence"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"G. Priest, R. Routley, and J. Norman, editors. Paraconsistent Logics. Philosophica Verlag, 1989.","DOI":"10.2307\/j.ctv2x8v8c7.16"},{"issue":"1\u20132","key":"28_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1\u20132):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"28_CR21","doi-asserted-by":"publisher","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(1):57\u201396, 1987.","journal-title":"Artificial Intelligence"},{"key":"28_CR22","unstructured":"N. Rescher and R. Brandom. The Logic of Inconsistency. Blackwell, 1980."},{"key":"28_CR23","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(92)90105-7","volume":"57","author":"N. Roos","year":"1992","unstructured":"N. Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57:69\u2013103, 1992.","journal-title":"Artificial Intelligence"},{"key":"28_CR24","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1111\/j.1467-8640.1985.tb00061.x","volume":"1","author":"E. Sandewall","year":"1985","unstructured":"E. Sandewall. A functional approach to non-monotonic logic. Computational Intelligence, 1:80\u201387, 1985.","journal-title":"Computational Intelligence"},{"key":"28_CR25","unstructured":"G. Wagner. Ex contradictione nihil sequitur. In J. Mylopoulos and R. Reiter, editors, Proceedings of the International Joint Conference on Artificial Intelligence, pages 538\u2013543. Morgan Kaufmann Publishers, 1991."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T15:15:36Z","timestamp":1687274136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}