{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:57Z","timestamp":1725565437447},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_4","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T00:07:17Z","timestamp":1284336437000},"page":"11-23","source":"Crossref","is-referenced-by-count":3,"title":["Similarity-Based Inconsistency-Tolerant Logics"],"prefix":"10.1007","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1016\/j.ijar.2007.07.002","volume":"48","author":"O. Arieli","year":"2008","unstructured":"Arieli, O.: Distance-based paraconsistent logics. International Journal of Approximate Reasoning\u00a048(3), 766\u2013783 (2008)","journal-title":"International Journal of Approximate Reasoning"},{"issue":"4","key":"4_CR2","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1093\/logcom\/13.4.557","volume":"13","author":"O. Arieli","year":"2003","unstructured":"Arieli, O., Denecker, M.: Reducing preferential paraconsistent reasoning to classical entailment. Logic and Computation\u00a013(4), 557\u2013580 (2003)","journal-title":"Logic and Computation"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1093\/jigpal\/jzp014","volume":"17","author":"O. Arieli","year":"2009","unstructured":"Arieli, O., Zamansky, A.: Distance-based non-deterministic semantics for reasoning with uncertainty. Logic Journal of the IGPL\u00a017(4), 325\u2013350 (2009)","journal-title":"Logic Journal of the IGPL"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A. Avron","year":"2005","unstructured":"Avron, A., Lev, I.: Non-deterministic multi-valued structures. Logic and Computation\u00a015, 241\u2013261 (2005)","journal-title":"Logic and Computation"},{"key":"4_CR5","unstructured":"Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems (A survey). In: Handbook of Philosophical Logic (Forthcoming)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. Costa da","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic\u00a015, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3-4","key":"4_CR7","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Many-valued modal logics. Fundam. Inform.\u00a015(3-4), 235\u2013254 (1991)","journal-title":"Fundam. Inform."},{"key":"4_CR8","first-page":"358","volume-title":"Proc. KR 2008","author":"A. Hunter","year":"2008","unstructured":"Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Proc. KR 2008, pp. 358\u2013366. AAAI Press, Menlo Park (2008)"},{"key":"4_CR9","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Van Nostrand (1950)"},{"issue":"1-2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence\u00a044(1-2), 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: A basis for a mathematical theory of computation. In: Computer Programming and Formal Systems, pp. 33\u201370 (1963)","DOI":"10.1016\/S0049-237X(08)72018-4"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G. Priest","year":"1989","unstructured":"Priest, G.: Reasoning about truth. Artificial Intelligence\u00a039, 231\u2013244 (1989)","journal-title":"Artificial Intelligence"},{"key":"4_CR13","volume-title":"Reasoning about Change","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y.: Reasoning about Change. MIT Press, Cambridge (1988)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T13:14:23Z","timestamp":1636463663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}