{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:26:00Z","timestamp":1737523560734,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540432203"},{"type":"electronic","value":"9783540457589"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45758-5_1","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:32:20Z","timestamp":1193340740000},"page":"1-14","source":"Crossref","is-referenced-by-count":8,"title":["Modeling Paraconsistent Reasoning by Classical Logic"],"prefix":"10.1007","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,5]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"O. Arieli, A. Avron. The logical role of the four-valued bilattice. Proc. LICS\u201998, pp.218\u2013226, IEEE Press, 1998.","key":"1_CR1","DOI":"10.1109\/LICS.1998.705648"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"O. Arieli, A. Avron. The value of the four values. Artificial Intelligence 102(1), pp.97\u2013141, 1998.","journal-title":"Artificial Intelligence"},{"unstructured":"O. Arieli, A. Avron. Bilattices and paraconsistency. Frontiers of Paraconsistent Logic (D. Batens, C. Mortensen, G. Priest, J. Van Bendegem, editors), pp.11\u201327, Studies in Logic and Computation 8, Research Studies Press, 2000.","key":"1_CR3"},{"unstructured":"O. Arieli, M. Denecker. Circumscriptive approaches to paraconsistent reasoning. Technical Report CW-304, Department of Computer Science, University of Leuven, 2001.","key":"1_CR4"},{"doi-asserted-by":"crossref","unstructured":"N.D. Belnap. A useful four-valued logic. Modern Uses of Multiple-Valued Logic (G. Epstein, J.M. Dunn, editors), pp.7\u201337, Reidel Publishing Company, 1977.","key":"1_CR5","DOI":"10.1007\/978-94-010-1161-7_2"},{"unstructured":"N.D. Belnap. How computer should think. Contemporary Aspects of Philosophy (G. Ryle, editor), pp.30\u201356, Oriel Press, 1977.","key":"1_CR6"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. da-Costa","year":"1974","unstructured":"N.C.A. da-Costa. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, pp.497\u2013510, 1974.","journal-title":"Notre Dame Journal of Formal Logic"},{"unstructured":"P. Doherty, W. Lukaszewicz, A. Szalas. Computing circumscription revisited: Preliminary report. Proc. IJCAI\u201995, pp.1502\u20131508, 1995.","key":"1_CR8"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1005722130532","volume":"18","author":"P. Doherty","year":"1997","unstructured":"P. Doherty, W. Lukaszewicz, A. Szalas. Computing circumscription revisited: A reduction algorithm. Journal of Automated Reasoning 18, pp.297\u2013334, 1997.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0004-3702(89)90026-X","volume":"29","author":"M.L. Ginsberg","year":"1989","unstructured":"M.L. Ginsberg. A circumscriptive theorem prover. Artificial Intelligence 29, pp.209\u2013230, 1989.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"M. ifer, E.L. Lozinskii. RI: A logic for reasoning with inconsistency. Proc. LICS\u201989, pp.253\u2013262, IEEE Press, 1989.","key":"1_CR11","DOI":"10.1109\/LICS.1989.39180"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"M. Kifer, E.L. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated Reasoning 9(2), pp.179\u2013215, 1992.","journal-title":"Journal of Automated Reasoning"},{"issue":"1\u20132","key":"1_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann, M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1\u20132) pp.167\u2013207, 1990.","journal-title":"Artificial Intelligence"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"D. Lehmann, M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence 55, pp.1\u201360, 1992.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"D. Makinson. General theory of cumulative inference. Non-Monotonic Reasoning (M. Reinfrank, editor), LNAI 346, pp.1\u201318, Springer, 1989.","key":"1_CR15","DOI":"10.1007\/3-540-50701-9_16"},{"doi-asserted-by":"crossref","unstructured":"D. Makinson. General patterns in nonmonotonic reasoning. Handbook of Logic in Artificial Intelligence and Logic Programming 3 (D. Gabbay, C. Hogger, J. Robinson, editors) pp.35\u2013110, Oxford Science Pub., 1994.","key":"1_CR16","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"issue":"1\u20132","key":"1_CR17","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription-A form of non monotonic reasoning. Artificial Intelligence 13(1\u20132), pp.27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy. Applications of circumscription to formalizing common-Sense knowledge. Artifical Intelligence 28, pp.89\u2013116, 1986.","journal-title":"Artifical Intelligence"},{"doi-asserted-by":"crossref","unstructured":"H.J. Ohlbach, SCAN-Elimination of predicate quantifiers. Proc. CADE\u201996, (M.A. McRobbie, J. Slaney, editors), LNAI 1104, pp.161\u2013165, Springer, 1996.","key":"1_CR19","DOI":"10.1007\/3-540-61511-3_77"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G. Priest","year":"1989","unstructured":"G. Priest. Reasoning about truth. Artificial Intelligence 39, pp.231\u2013244, 1989.","journal-title":"Artificial Intelligence"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G. Priest","year":"1991","unstructured":"G. Priest. Minimally Inconsistent LP. Studia Logica 50, pp.321\u2013331, 1991.","journal-title":"Studia Logica"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0004-3702(89)90067-2","volume":"38","author":"T. Przymusinski","year":"1991","unstructured":"T. Przymusinski. An algorithm to compute circumscription. Artificial Intelligence 38, pp.49\u201373, 1991.","journal-title":"Artificial Intelligence"},{"unstructured":"Y. Shoham. Reasoning about change. MIT Press, 1988.","key":"1_CR23"},{"key":"1_CR24","volume-title":"Introduction to logic","author":"A. Tarski","year":"1941","unstructured":"A. Tarski. Introduction to logic. Oxford University Press, N.Y., 1941."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45758-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T22:26:55Z","timestamp":1737498415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45758-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432203","9783540457589"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45758-5_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}