{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:54:43Z","timestamp":1725494083704},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661313"},{"type":"electronic","value":"9783540487470"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48747-6_2","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T04:14:36Z","timestamp":1193717676000},"page":"11-21","source":"Crossref","is-referenced-by-count":3,"title":["Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations"],"prefix":"10.1007","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[]},{"given":"Arnon","family":"Avron","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,20]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"O. Arieli, A. Avron. Reasoning with logical bilattices. Journal of Logic, Language, and Information 5(1), pp.25\u201363, 1996.","journal-title":"Journal of Logic, Language, and Information"},{"issue":"1","key":"2_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"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"A. Avron. Simple consequence relations. Journal of Information and Computation 92, pp.105\u2013139, 1991.","journal-title":"Journal of Information and Computation"},{"key":"2_CR4","unstructured":"P. Besnard. Axiomatizations in the metatheory of non-monotonic inference systems. Proc. of the 7th Canadian AI Conference, (R. Goebel-Ed.), Edmonton, Canada, pp.117\u2013124, 1988."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. Costa da","year":"1974","unstructured":"N.C.A. da-Costa. On the theory of inconsistent formal systems. Notre Damm Journal of Formal Logic 15, pp.497\u2013510, 1974.","journal-title":"Notre Damm Journal of Formal Logic"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0004-3702(91)90043-J","volume":"52","author":"M. Freund","year":"1991","unstructured":"M. Freund, D. Lehmann, P. Morris. Rationality, transitivity and Contraposition. Artificial Intelligence 52,pp 191\u2013203,1991.","journal-title":"Artificial Intelligence"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay. Theoretical foundation for non-monotonic reasoning in expert systems. Proc. of the NATO Advanced Study Inst. on Logic and Models of Concurent Systems (K.P. Apt-Ed.) Springer, pp.439457, 1985.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"2_CR8","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, pp.167\u2013207, 1990.","journal-title":"Artificial Intelligence"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"D. Lehmann. Plausibility logic. Proc. CSL\u201991, pp.227\u2013241,Springer,1992.","DOI":"10.1007\/BFb0023770"},{"key":"2_CR10","unstructured":"D. Lehmann. Nonmonotonic logics and semantics. Technical report TR-98-6, Institute of Computer Science, The Hebrew University, 1998."},{"key":"2_CR11","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, p.1\u201360, 1992.","journal-title":"Artificial Intelligence"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"D. Makinson. General theory of cumulative inference. Non-Monotonic Reasoning (M. Reinfrank-Ed.), LNAI 346, pp.1\u201318, Springer, 1989.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"D. Makinson. General patterns in nonmonotonic reasoning. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.3 (D. Gabbay, C. Hogger, J. Robinson-Eds.), Oxford Science Pub., pp.35\u2013110, 1994.","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"issue":"1-2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J.M. McCarthy","year":"1980","unstructured":"J.M. McCarthy. Circumscription-A form of non monotonic reqsoning. Artificial Intelligence 13(1-2), pp.27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"2_CR15","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":"2_CR16","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":"2_CR17","doi-asserted-by":"crossref","unstructured":"R. Reiter. On closed world databases. Logic and Databases (H. Gallaire, J. Minker-Eds.), Plenum Press, pp.55\u201376, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"K. Schlechta.Nonmonotonic logics-Basic concepts, results, and techniques. LNAI 1187, Springer, 1996.","DOI":"10.1007\/BFb0021104"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"D. Scott. Rules and derived rules. Logical Theory and Semantical Analysis (S. Stenlund-Ed.), Reidel, Dordrecht, pp.147\u2013161, 1974.","DOI":"10.1007\/978-94-010-2191-3_13"},{"key":"2_CR20","first-page":"411","volume-title":"Proc. of the Tarski Symposium, Proc. of Symposia in Pure Mathematics","author":"D. Scott","year":"1974","unstructured":"D. Scott. Completeness and axiomatization in many-valued logic. Proc. of the Tarski Symposium, Proc. of Symposia in Pure Mathematics, Vol.XXV, American Mathematical Society, Rhode Island, pp.411\u2013435, 1974."},{"key":"2_CR21","unstructured":"Y. Shoham. Reasoning about change. MIT Press, 1988."},{"key":"2_CR22","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","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48747-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T19:35:08Z","timestamp":1708284908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48747-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661313","9783540487470"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48747-6_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}