{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T04:06:56Z","timestamp":1749182816819,"version":"3.41.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1006020529663","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T00:38:24Z","timestamp":1040517504000},"page":"263-309","source":"Crossref","is-referenced-by-count":5,"title":["A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases"],"prefix":"10.1007","volume":"22","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnon","family":"Avron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"165598_CR1","volume-title":"Entailment","author":"A. R. Anderson","year":"1975","unstructured":"Anderson, A. R. and Belnap, N. D.: Entailment, Vol. 1, Princeton University Press, Princeton, NJ, 1975."},{"key":"165598_CR2","doi-asserted-by":"crossref","unstructured":"Arieli, O. and Avron, A.: Logical bilattices and inconsistent data, in Proc. 9th IEEE Annual Symp. on Logic in Computer Science (LICS'94), IEEE Press, 1994, pp. 468\u2013476.","DOI":"10.1109\/LICS.1994.316044"},{"key":"165598_CR3","unstructured":"Arieli, O. and Avron, A.: A bilattice-based approach to recover consistent data from inconsistent knowledge bases, in Proc. of the 4th Bar-Ilan Symp. on Foundations of Artificial Intelligence (BISFAI'95), AAAI Press, 1995, pp. 14\u201323."},{"issue":"1","key":"165598_CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli, O. and Avron, A.: Reasoning with logical bilattices, J. Logic, Language, and Inform.\n5(1) (1996), 25\u201363.","journal-title":"J. Logic, Language, and Inform."},{"key":"165598_CR5","doi-asserted-by":"crossref","unstructured":"Arieli, O. and Avron, A.: Four-valued diagnoses for stratified knowledge bases, in D. Van-dalen and M. Benzem (eds.), Proc. of the 1996 Ann. Conf. of the European Association for Computer Science Logic (CSL'96), Lecture Notes in Computer Science 1258, Springer-Verlag, 1997, pp. 1\u201317.","DOI":"10.1007\/3-540-63172-0_29"},{"key":"165598_CR6","first-page":"201","volume":"27","author":"A. Avron","year":"1986","unstructured":"Avron, A.: On an implication connective of RM, Notre Dame J. Formal Logic\n27 (1986), 201\u2013209.","journal-title":"Notre Dame J. Formal Logic"},{"key":"165598_CR7","unstructured":"Benferhat, S., Cayrol, C., Dubois, D., Lang, J., and Prade, H.: Inconsistency management and prioritized syntax-based entailment, in Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93), 1993, pp. 640\u2013645."},{"key":"165598_CR8","unstructured":"Benferhat, S., Dubois, D., and Prade, H.: How to infer from inconsistent beliefs without revising?, in Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), 1995, pp. 1449\u20131455."},{"key":"165598_CR9","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N. D. Belnap","year":"1977","unstructured":"Belnap, N. D.: A useful four-valued logic, in G. Epstein and J. M. Dunn (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 7\u201337."},{"key":"165598_CR10","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N. D. Belnap","year":"1977","unstructured":"Belnap, N. D.: How computers should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, England, 1977, pp. 30\u201356."},{"key":"165598_CR11","doi-asserted-by":"crossref","unstructured":"Brown, A. L., Jr. and Shoham, Y.: New results on semantical nonmonotonic reasoning, in Proc. 2nd Int. Workshop on Non-Monotonic Reasoning, Springer-Verlag, 1988, pp. 19\u201326.","DOI":"10.1007\/3-540-50701-9_17"},{"key":"165598_CR12","doi-asserted-by":"crossref","unstructured":"da-Costa, N. C. A., Subrahmanian, V. S., Henschen, L. J., and Lu, J. J.: Automatic theorem proving in paraconsistent logics: Theory and implementation, in M. E. Stickel (ed.), 10th Int. Conf. on Automated Deduction, 1990, pp. 72\u201386.","DOI":"10.1007\/3-540-52885-7_80"},{"key":"165598_CR13","first-page":"497","volume":"15","author":"N. C. A. da-Costa","year":"1974","unstructured":"da-Costa, N. C. A.: On the theory of inconsistent formal systems, Notre Dame J. Formal Logic\n15 (1974), 497\u2013510.","journal-title":"Notre Dame J. Formal Logic"},{"key":"165598_CR14","doi-asserted-by":"crossref","unstructured":"Epstein, R. L.: The Semantic Foundation of Logic, Vol. I: Propositional Logics, Kluwer Acad. Publ., 1990.","DOI":"10.1007\/978-94-009-0525-2"},{"key":"165598_CR15","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Negation as refutation, in Proc. 4th Annual Symp. on Logic in Computer Science (LICS'89), IEEE Press, 1989, pp. 63\u201370.","DOI":"10.1109\/LICS.1989.39159"},{"key":"165598_CR16","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1093\/logcom\/1.6.797","volume":"1","author":"M. Fitting","year":"1990","unstructured":"Fitting, M.: Kleene's logic, generalized, J. Logic Comput.\n1 (1990), 797\u2013810.","journal-title":"J. Logic Comput."},{"key":"165598_CR17","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Bilattices in logic programming, in G. Epstein (ed.), Proc 20th Int. Symp. on Multiple-Valued Logic IEEE Press, 1990, pp. 238\u2013246.","DOI":"10.1109\/ISMVL.1990.122627"},{"issue":"2","key":"165598_CR18","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Bilattices and the semantics of logic programming, J. Logic Programming\n11(2) (1991), 91\u2013116.","journal-title":"J. Logic Programming"},{"key":"165598_CR19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M. Fitting","year":"1993","unstructured":"Fitting, M.: The family of stable models, J. Logic Programming\n17 (1993), 197\u2013225.","journal-title":"J. Logic Programming"},{"key":"165598_CR20","first-page":"113","volume":"20","author":"M. Fitting","year":"1994","unstructured":"Fitting, M.: Kleene's three-valued logics and their children, Fund. Inform.\n20 (1994), 113\u2013131.","journal-title":"Fund. Inform."},{"key":"165598_CR21","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"M. R. Genesereth","year":"1984","unstructured":"Genesereth, M. R.: The use of design description in authomated diagnosis, J. Artificial Intelligence\n24 (1984), 411\u2013436.","journal-title":"J. Artificial Intelligence"},{"key":"165598_CR22","first-page":"256","volume":"4","author":"M. L. Ginsberg","year":"1988","unstructured":"Ginsberg, M. L.: Multivalued logics: A uniform approach to reasoning in AI, Comput. Intelligence\n4 (1988), 256\u2013316.","journal-title":"Comput. Intelligence"},{"issue":"2","key":"165598_CR23","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Lozinskii, E. L.: A logic for reasoning with Inconsistency, J. Automated Reasoning\n9(2) (1992), 179\u2013215.","journal-title":"J. Automated Reasoning"},{"key":"165598_CR24","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Subrahmanian, V. S.: Theory of generalized annotated programming and it's applications, J. Logic Programming\n12 (1992), 335\u2013367.","journal-title":"J. Logic Programming"},{"key":"165598_CR25","doi-asserted-by":"crossref","unstructured":"Lehmann, D.: Plausibility logic, in Proc. of 5th Ann. Conf. of the European Association for Computer Science Logic (CSL'91), Springer-Verlag, 1992, pp. 227\u2013241.","DOI":"10.1007\/BFb0023770"},{"key":"165598_CR26","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","volume":"30","author":"H. J. Levesque","year":"1986","unstructured":"Levesque, H. J.: Making believers out of computers, J. Artificial Intelligence\n30 (1986), 81\u2013108.","journal-title":"J. Artificial Intelligence"},{"key":"165598_CR27","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Benchmark problems for formal nonmonotonic reasoning, in Proc. 2nd Int. Workshop on Non-Monotonic Reasoning, Springler-Verlag, 1988, pp. 202\u2013219.","DOI":"10.1007\/3-540-50701-9_29"},{"key":"165598_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00881841","volume":"12","author":"E. L. Lozinskii","year":"1994","unstructured":"Lozinskii, E. L.: Recovering contradictions: A plausible semantics for inconsistent systems, J. Automated Reasoning\n12 (1994), 1\u201331.","journal-title":"J. Automated Reasoning"},{"key":"165598_CR29","first-page":"1349","volume":"270","author":"I. M. L. d'Ottaviano","year":"1970","unstructured":"d'Ottaviano, I. M. L. and da-Costa, N. C. A.: Sur un probleme de Jaskowski, C.R. Hebdomadaires des Seances de I'Academie des Sciences, Serie A 270 (1970), 1349\u20131353.","journal-title":"C.R. Hebdomadaires des Seances de I'Academie des Sciences, Serie A"},{"issue":"1\u20132","key":"165598_CR30","first-page":"31","volume":"19","author":"I. M. L. d'Ottaviano","year":"1985","unstructured":"d'Ottaviano, I. M. L.: The completeness and compactness of a three-valued first order logic, Rev. Colombiana Mat.\n19(1\u20132) (1985), 31\u201342.","journal-title":"Rev. Colombiana Mat."},{"key":"165598_CR31","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Pool","year":"1988","unstructured":"Pool, D.: A logical framework for default reasoning, J. Artificial Intelligence\n36 (1988), 27\u201347.","journal-title":"J. Artificial Intelligence"},{"key":"165598_CR32","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, J. Artificial Intelligence\n39 (1989), 231\u2013244.","journal-title":"J. Artificial Intelligence"},{"key":"165598_CR33","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G. Priest","year":"1991","unstructured":"Priest, G.: Minimally inconsistent LP, Studia Logica\n50 (1991), 321\u2013331.","journal-title":"Studia Logica"},{"key":"165598_CR34","unstructured":"Raiman, O.: The alibi principle, in W. Hamscher, L. Console, and J. de-Kleer (eds.), Readings in Model-Based Diagnosis, Morgan Kaufmann, 1992, pp. 66\u201370."},{"issue":"1","key":"165598_CR35","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles, J. Artificial Intelligence\n32(1) (1987), 57\u201395.","journal-title":"J. Artificial Intelligence"},{"key":"165598_CR36","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"R. Rescher","year":"1970","unstructured":"Rescher, R. and Manor, R.: On inference from inconsistent premises, J. Theory and Decision\n1 (1970), 179\u2013219.","journal-title":"J. Theory and Decision"},{"key":"165598_CR37","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0020-0255(89)90003-0","volume":"47","author":"L. I. Rozoner","year":"1989","unstructured":"Rozoner, L. I.: On interpretation of inconsistent theories, Inform. Sci.\n47 (1989), 243\u2013266.","journal-title":"Inform. Sci."},{"key":"165598_CR38","first-page":"7","volume":"7","author":"V. S. Subrahmanian","year":"1990","unstructured":"Subrahmanian, V. S.: Mechanical proof procedures for many valued lattice-based logic programming, J. Non-Classical Logic\n7 (1990), 7\u201341.","journal-title":"J. Non-Classical Logic"},{"key":"165598_CR39","doi-asserted-by":"crossref","unstructured":"Subrahmanian, V. S.: Paraconsistent disjunctive deductive databases, in Proc. 20th Int. Symp. on Multiple-Valued Logic, IEEE Press, 1990, pp. 339\u2013345.","DOI":"10.1109\/ISMVL.1990.122644"},{"issue":"2","key":"165598_CR40","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V. S. Subrahmanian","year":"1994","unstructured":"Subrahmanian, V. S.: Amalgamating knowledge bases, ACM Transactions on Database Systems\n19(2) (1994), 291\u2013331.","journal-title":"ACM Transactions on Database Systems"},{"key":"165598_CR41","doi-asserted-by":"crossref","unstructured":"Wagner, G.: Vivid Logic: Knowledge Based Reasoning with Two Kinds of Negation, Lecture Notes in AI 764, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-57604-5"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006020529663.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006020529663\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006020529663.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:46:01Z","timestamp":1749123961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006020529663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["165598"],"URL":"https:\/\/doi.org\/10.1023\/a:1006020529663","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}