{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T22:40:07Z","timestamp":1714948807986},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2013,2,14]],"date-time":"2013-02-14T00:00:00Z","timestamp":1360800000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1007\/s10472-013-9333-2","type":"journal-article","created":{"date-parts":[[2013,2,13]],"date-time":"2013-02-13T08:05:04Z","timestamp":1360742704000},"page":"47-73","source":"Crossref","is-referenced-by-count":1,"title":["A dissimilarity-based framework for generating inconsistency-tolerant logics"],"prefix":"10.1007","volume":"73","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,2,14]]},"reference":[{"key":"9333_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS\u201999, pp. 68\u201379. ACM Press (1999)","DOI":"10.1145\/303976.303983"},{"issue":"3","key":"9333_CR2","doi-asserted-by":"crossref","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. Int. J. Approx. Reason. 48(3), 766\u2013783 (2008)","journal-title":"Int. J. Approx. Reason."},{"issue":"2","key":"9333_CR3","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1093\/jigpal\/8.2.119","volume":"8","author":"O Arieli","year":"2000","unstructured":"Arieli, O., Avron, A.: General patterns for nonmonotonic reasoning: from basic entailments to plausible relations. Log. J. IGPL 8(2), 119\u2013148 (2000)","journal-title":"Log. J. IGPL"},{"issue":"1\u20133","key":"9333_CR4","first-page":"31","volume":"99","author":"O Arieli","year":"2011","unstructured":"Arieli, O., Avron, A., Zamansky, A.: Ideal paraconsistent logics. Stud. Log. 99(1\u20133), 31\u201360 (2011)","journal-title":"Stud. Log."},{"issue":"3\u20134","key":"9333_CR5","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s10472-007-9074-1","volume":"50","author":"O Arieli","year":"2007","unstructured":"Arieli, O., Denecker, M., Bruynooghe, M.: Distance semantics for database repair. Ann. Math. Artif. Intell. 50(3\u20134), 389\u2013415 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"9333_CR6","doi-asserted-by":"crossref","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. Log. J. IGPL 17(4), 325\u2013350 (2009)","journal-title":"Log. J. IGPL"},{"key":"9333_CR7","doi-asserted-by":"crossref","unstructured":"Arieli, O., Zamansky, A.: Similarity-based inconsistency-tolerant logics. In: Janhunen, T., and Niemel\u00e4, I. (eds.) Proc. JELIA\u201910. LNAI,\u00a0vol. 6341, pp. 11\u201323. Springer (2010)","DOI":"10.1007\/978-3-642-15675-5_4"},{"issue":"1","key":"9333_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jal.2010.07.001","volume":"9","author":"O Arieli","year":"2011","unstructured":"Arieli, O., Zamansky, A.: Simplified forms of computerized reasoning with distance semantics. Journal of Applied Logic 9(1), 1\u201322 (2011)","journal-title":"Journal of Applied Logic"},{"key":"9333_CR9","doi-asserted-by":"crossref","unstructured":"Arieli, O., Zamansky, A.: Inconsistency-tolerance in knowledge-based systems by dissimilarities. In: Lukasiewicz, Th., Sali, A. (eds.) Proc. FoIKS\u201912. LNCS,\u00a0vol. 7153, pp. 34\u201350. Springer (2012)","DOI":"10.1007\/978-3-642-28472-4_3"},{"issue":"2","key":"9333_CR10","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s11225-009-9175-4","volume":"91","author":"A Avron","year":"2009","unstructured":"Avron, A., Konikowska, B.: Proof systems for reasoning about computation errors. Stud. Log. 91(2), 273\u2013293 (2009)","journal-title":"Stud. Log."},{"key":"9333_CR11","doi-asserted-by":"crossref","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. J. Log. Comput. 15, 241\u2013261 (2005)","journal-title":"J. Log. Comput."},{"key":"9333_CR12","doi-asserted-by":"crossref","unstructured":"Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems. In: Handbook of Philosophical Logic, vol.\u00a016, pp. 227\u2013304 (2011)","DOI":"10.1007\/978-94-007-0479-4_4"},{"issue":"2","key":"9333_CR13","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/1147376.1147391","volume":"35","author":"L Bertossi","year":"2006","unstructured":"Bertossi, L.: Consistent query answering in databases. SIGMOD Rec. 35(2), 68\u201376 (2006)","journal-title":"SIGMOD Rec."},{"key":"9333_CR14","unstructured":"B\u00e9ziau, J.Y., Carnielli, W.A., Gabbay, D.: Handbook of Paraconsistency. King\u2019s College Publications (2007)"},{"key":"9333_CR15","doi-asserted-by":"crossref","unstructured":"Biskup, J., Tadros, C.: Revising belief without revealing secrets. In: Lukasiewicz, Th., Sali, A. (eds.) Proc. FoIKS\u201912. LNCS,\u00a0vol. 7153, pp. 51\u201370. Springer (2012)","DOI":"10.1007\/978-3-642-28472-4_4"},{"key":"9333_CR16","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Congilio, M.E., D\u2019Ottaviano, I.: Paraconsistency: the logical way to the inconsistent. In: Proceedings of the Second World Congress on Paraconsistency. Marcel Dekker (2001)","DOI":"10.1201\/9780203910139"},{"key":"9333_CR17","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da\u00a0Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Form. Log. 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Form. Log."},{"key":"9333_CR18","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision. In: Proc. AAAI\u201988, pp. 475\u2013479. AAAI Press (1988)"},{"key":"9333_CR19","doi-asserted-by":"crossref","unstructured":"de Amo, S., Carnielli, W., Marcos, J.: A logical framework for integrating inconsistent information in multiple databases. In: Proc. FoIKS\u201902. LNCS,\u00a0vol. 2284, pp. 67\u201384. Springer (2002)","DOI":"10.1007\/3-540-45758-5_5"},{"issue":"3\u20134","key":"9333_CR20","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. 15(3\u20134), 235\u2013254 (1991)","journal-title":"Fundam. Inform."},{"key":"9333_CR21","unstructured":"Gabbay, D.: Theoretical foundation for non-monotonic reasoning, Part\u00a0II: structured non-monotonic theories. In: Mayoh, B. (ed.) Proc. SCAI\u201991. IOS Press (1991)"},{"issue":"1","key":"9333_CR22","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1016\/j.ijar.2008.03.008","volume":"49","author":"N Gorogiannis","year":"2008","unstructured":"Gorogiannis, N., Hunter, A.: Implementing semantic merging operators using binary decision diagrams. Int. J. Approx. Reason. 49(1), 234\u2013251 (2008)","journal-title":"Int. J. Approx. Reason."},{"key":"9333_CR23","volume-title":"A treatise on many-valued logics, studies in logic and computation, vol.\u00a09.","author":"S Gottwald","year":"2001","unstructured":"Gottwald, S.: A treatise on many-valued logics, studies in logic and computation, vol.\u00a09. Research Studies Press, Baldock (2001)"},{"key":"9333_CR24","doi-asserted-by":"crossref","unstructured":"Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (ed.) Inconsistency Tolerance. Lecture Notes in Computer Science, vol. 3300, pp. 191\u2013236. Springer (2005)","DOI":"10.1007\/978-3-540-30597-2_7"},{"key":"9333_CR25","unstructured":"Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Proc. KR\u201908, pp. 358\u2013366. AAAI Press (2008)"},{"key":"9333_CR26","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Van Nostrand (1950)"},{"key":"9333_CR27","unstructured":"Konieczny, S., Lang, J., Marquis, P.: Distance-based merging: a general framework and some complexity results. In: Proc. KR\u201902, pp. 97\u2013108. Morgan Kaufmann Publishers (2002)"},{"key":"9333_CR28","doi-asserted-by":"crossref","unstructured":"Konieczny, S., Marquis, P.: Three-valued logics for inconsistency handling. In: Proc. JELIA\u201902, pp. 332\u2013344 (2002)","DOI":"10.1007\/3-540-45757-7_28"},{"issue":"5","key":"9333_CR29","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","volume":"12","author":"S Konieczny","year":"2002","unstructured":"Konieczny, S., Pino\u00a0P\u00e9rez, R.: Merging information under constraints: a logical framework. J. Log. Comput. 12(5), 773\u2013808 (2002)","journal-title":"J. Log. Comput."},{"issue":"1\u20132","key":"9333_CR30","doi-asserted-by":"crossref","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. Artif. Intell. 44(1\u20132), 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"9333_CR31","doi-asserted-by":"crossref","unstructured":"Lafage, C., Lang, J.: Propositional distances and preference representation. In: Proc. ECSQARU\u201901. LNAI, vol. 2143, pp. 48\u201359. Springer (2001)","DOI":"10.1007\/3-540-44652-4_6"},{"issue":"12\u201313","key":"9333_CR32","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1016\/j.artint.2010.04.023","volume":"174","author":"J Lang","year":"2010","unstructured":"Lang, J., Marquis, P.: Reasoning under inconsistency: a forgetting-based approach. Artif. Intell. 174(12\u201313), 799\u2013823 (2010)","journal-title":"Artif. Intell."},{"key":"9333_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1\u201360 (1992)","journal-title":"Artif. Intell."},{"issue":"1","key":"9333_CR34","doi-asserted-by":"crossref","first-page":"295","DOI":"10.2307\/2694923","volume":"66","author":"D Lehmann","year":"2001","unstructured":"Lehmann, D., Magidor, M., Schlechta, K.: Distance semantics for belief revision. J. Symb. Log. 66(1), 295\u2013317 (2001)","journal-title":"J. Symb. Log."},{"key":"9333_CR35","unstructured":"Lin, F., Reiter, R.: Forget it! In: Proc. AAAI Fall Symposium on Relevance, pp. 154\u2013159 (1994)"},{"key":"9333_CR36","doi-asserted-by":"crossref","unstructured":"Lin, J., Mendelzon, A.O.: Knowledge base merging by majority. In: Dynamic Worlds: From the Frame Problem to Knowledge Management. Kluwer (1999)","DOI":"10.1007\/978-94-017-1317-7_6"},{"key":"9333_CR37","doi-asserted-by":"crossref","unstructured":"Lopatenko, A., Bertossi, L.: Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In: Proc. ICDT\u201907. LNCS, vol. 4353, pp. 179\u2013193. Springer (2007)","DOI":"10.1007\/11965893_13"},{"key":"9333_CR38","doi-asserted-by":"crossref","unstructured":"Makinson, D.: General patterns in nonmonotonic reasoning. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 35\u2013110 (1994)","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"9333_CR39","doi-asserted-by":"crossref","unstructured":"Malinowski, G.: Many-Valued Logics. Clarendon Press (1993)","DOI":"10.1093\/oso\/9780198537878.001.0001"},{"key":"9333_CR40","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: A basis for a mathematical theory of computation. Computer Programming and Formal Systems, pp. 33\u201370 (1963)","DOI":"10.1016\/S0049-237X(08)72018-4"},{"issue":"1\u20132","key":"9333_CR41","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription\u2014a form of non monotonic reasoning. Artif. Intell. 13(1\u20132), 27\u201339 (1980)","journal-title":"Artif. Intell."},{"key":"9333_CR42","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G Priest","year":"1989","unstructured":"Priest, G.: Reasoning about truth. Artif. Intell. 39, 231\u2013244 (1989)","journal-title":"Artif. Intell."},{"key":"9333_CR43","doi-asserted-by":"crossref","unstructured":"Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a06, pp. 287\u2013393. Kluwer (2002)","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"9333_CR44","unstructured":"Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill (1967)"},{"key":"9333_CR45","unstructured":"Shoham, Y.: Reasoning about Change. MIT Press (1988)"},{"key":"9333_CR46","doi-asserted-by":"crossref","unstructured":"Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Belief Change and Statistics, vol.\u00a0II, pp. 105\u2013134. Kluwer (1988)","DOI":"10.1007\/978-94-009-2865-7_6"},{"issue":"2\u20133","key":"9333_CR47","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s10472-012-9288-8","volume":"64","author":"S Staworko","year":"2012","unstructured":"Staworko, S., Chomicki, J., Marcinkowski, J.: Prioritized repairing and consistent query answering in relational databases. Ann. Math. Artif. Intell., 64(2\u20133), 209\u2013246 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9333_CR48","unstructured":"Subrahmanian, V.S., Amgoud, L.: A general framework for reasoning about inconsistency. In: Veloso, M. (ed.) Proc. IJCAI\u201907, pp. 599\u2013504 (2007)"},{"key":"9333_CR49","doi-asserted-by":"crossref","unstructured":"Urquhart, A.: Many-valued logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 249\u2013295. Kluwer (2001)","DOI":"10.1007\/978-94-017-0452-6_4"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9333-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9333-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9333-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T21:57:28Z","timestamp":1714946248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9333-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,14]]},"references-count":49,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["9333"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9333-2","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2,14]]}}}