{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:32:10Z","timestamp":1762032730660},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"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":[[2007,12]]},"DOI":"10.1007\/s10472-008-9088-3","type":"journal-article","created":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T04:34:38Z","timestamp":1204605278000},"page":"167-193","source":"Crossref","is-referenced-by-count":21,"title":["A three-valued semantics for querying and repairing inconsistent databases"],"prefix":"10.1007","volume":"51","author":[{"given":"Filippo","family":"Furfaro","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Molinaro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,5]]},"reference":[{"key":"9088_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1994)"},{"key":"9088_CR2","doi-asserted-by":"crossref","unstructured":"Andritsos, P., Fuxman, A., Miller, R.: Clean answers over dirty databases. IEEE International Conference on Data Engineering (ICDE) (2006)","DOI":"10.1109\/ICDE.2006.35"},{"key":"9088_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings ACM Symposium on Principles of Database Systems (PODS), pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"9088_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Specifying and querying database repairs using logic programs with exceptions. In: Proceedings International Conference on Flexible Query Answering Systems (FQAS), pp. 27\u201341 (2000)","DOI":"10.1007\/978-3-7908-1834-5_3"},{"issue":"296","key":"9088_CR5","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1016\/S0304-3975(02)00737-5","volume":"3","author":"M. Arenas","year":"2003","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J., He, X., Raghavan, V., Spinrad, J.: Scalar aggregation in inconsistent databases. Theor. Comp. Sci. (TCS) 3(296), 405\u2013434 (2003)","journal-title":"Theor. Comp. Sci. (TCS)"},{"issue":"45","key":"9088_CR6","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1017\/S1471068403001832","volume":"3","author":"M. Arenas","year":"2003","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. Theor. Pract. Log. Prog. 3(45), 393\u2013424 (2003)","journal-title":"Theor. Pract. Log. Prog."},{"key":"9088_CR7","unstructured":"Baral, C., Zhang, Y.: On the semantics of knowledge update. In: Proceedings International Joint Conference on Artificial Intelligence, pp. 97\u2013102 (2001)"},{"issue":"2","key":"9088_CR8","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 Record, 35(2), 68\u201376 (2006)","journal-title":"SIGMOD Record"},{"key":"9088_CR9","doi-asserted-by":"crossref","unstructured":"Bohannon, P., Flaster, M., Fan, W., Rastogi, R.: A cost-based model and effective heuristic for repairing constraints by value modification. In: Proceedings ACM SIGMOD International Conference on Management of Data (SIGMOD), pp. 143\u2013154 (2005)","DOI":"10.1145\/1066157.1066175"},{"key":"9088_CR10","doi-asserted-by":"crossref","unstructured":"Cali, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proceedings ACM Symposium on Principles of Database Systems (PODS), pp. 260\u2013271 (2003)","DOI":"10.1145\/773153.773179"},{"key":"9088_CR11","doi-asserted-by":"crossref","unstructured":"Caroprese, L., Greco, S., Sirangelo, S., Zumpano, E.: Declarative semantics of production rules for integrity maintenance. In: Proceedings International Conference on Logic Programming, pp. 26\u201340 (2006)","DOI":"10.1007\/11799573_5"},{"issue":"1","key":"9088_CR12","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/TKDE.2003.1161596","volume":"15","author":"J. Chomicki","year":"2003","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.A.: Conflict resolution using logic programming. IEEE Trans. Knowl. Data Eng. (TKDE) 15(1), 244\u2013249 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng. (TKDE)"},{"issue":"1\u20132","key":"9088_CR13","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.ic.2004.04.007","volume":"197","author":"J. Chomicki","year":"2005","unstructured":"Chomicki, J., Marcinkowski, J.: Minimal-change integrity maintenance using tuple deletions. Inf. Comput 197(1\u20132), 90\u2013121 (2005)","journal-title":"Inf. Comput"},{"key":"9088_CR14","doi-asserted-by":"crossref","unstructured":"Chomicki, J.: Consistent query answering: five easy pieces. In: Proceedings International Conference on Database Theory (ICDT), pp. 1\u201317 (2007)","DOI":"10.1007\/11965893_1"},{"key":"9088_CR15","doi-asserted-by":"crossref","unstructured":"Corts-Calabuig, A., Denecker, M., Arieli, O., Bruynooghe, M.: Representation of partial knowledge and query answering in locally complete databases. In: Proceedings International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 407\u2013421 (2006)","DOI":"10.1007\/11916277_28"},{"key":"9088_CR16","doi-asserted-by":"crossref","unstructured":"Flesca, S., Furfaro, F., Parisi, F.: Consistent query answers on numerical databases under aggregate constraints. In: Proceedings International Workshop on Database Programming Languages, pp. 279\u2013294 (2005)","DOI":"10.1007\/11601524_18"},{"issue":"4","key":"9088_CR17","doi-asserted-by":"crossref","first-page":"610","DOI":"10.1016\/j.jcss.2006.10.013","volume":"73","author":"A. Fuxman","year":"2007","unstructured":"Fuxman, A., Miller, J.R.: First-order query rewriting for inconsistent databases. J. Comput. Syst. Sci. 73(4), 610\u2013635 (2007)","journal-title":"J. Comput. Syst. Sci."},{"key":"9088_CR18","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings International Conference on Logic Programming (ICLP), pp. 1070\u20131080 (1988)"},{"issue":"2","key":"9088_CR19","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s10844-006-2974-4","volume":"27","author":"J. Grant","year":"2006","unstructured":"Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27(2), 159\u2013184 (2006)","journal-title":"J. Intell. Inf. Syst."},{"issue":"1","key":"9088_CR20","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/69.368510","volume":"7","author":"J. Grant","year":"1995","unstructured":"Grant, J., Subrahmanian, V.S.: Reasoning in inconsistent knowledge bases. IEEE Trans. Knowl. Data Eng. (TKDE) 7(1), 177\u2013189 (1995)","journal-title":"IEEE Trans. Knowl. Data Eng. (TKDE)"},{"key":"9088_CR21","doi-asserted-by":"crossref","unstructured":"Greco, S., Zumpano, E.: Querying inconsistent databases. Proceedings International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 308\u2013325 (2000)","DOI":"10.1007\/3-540-44404-1_20"},{"issue":"6","key":"9088_CR22","doi-asserted-by":"crossref","first-page":"1389","DOI":"10.1109\/TKDE.2003.1245280","volume":"15","author":"G. Greco","year":"2003","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowl. Data Eng. (TKDE) 15(6), 1389\u20131408 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng. (TKDE)"},{"key":"9088_CR23","doi-asserted-by":"crossref","unstructured":"Greco, S., Sirangelo, C., Trubitsyna, I., Zumpano, E.: Preferred repairs for inconsistent databases. In: Proceedings International Conference on Database and Expert Systems Applications (DEXA), pp. 44\u201355 (2004)","DOI":"10.1007\/978-3-540-30075-5_5"},{"key":"9088_CR24","doi-asserted-by":"crossref","unstructured":"Greco, G., Molinaro, C.: Querying and repairing inconsistent databases under three-valued semantics. In: Proceedings International Conference on Logic Programming (ICLP), pp. 149\u2013164 (2007)","DOI":"10.1007\/978-3-540-74610-2_11"},{"key":"9088_CR25","doi-asserted-by":"crossref","unstructured":"Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. Inconsistency Tolerance, pp. 191\u2013236 (2005)","DOI":"10.1007\/978-3-540-30597-2_7"},{"key":"9088_CR26","unstructured":"Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 68\u201373 (2002)"},{"key":"9088_CR27","unstructured":"Hunter, A.: Evaluating significance of inconsistencies. In: Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI), pp. 468\u2013473 (2003)"},{"key":"9088_CR28","doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell\u2019Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Koch, K., Perri, S., Polleres, A.: The DLV system. In: Proceedings International Conference on Logics in Artificial Intelligence (JELIA), pp. 537\u2013540 (2002)","DOI":"10.1007\/3-540-45757-7_50"},{"issue":"1","key":"9088_CR29","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1142\/S0218843098000040","volume":"7","author":"J. Lin","year":"1998","unstructured":"Lin, J., Mendelzon, A.O.: Merging databases under constraints. Int. J. Coop. Inf. Syst. 7(1), 55\u201376 (1998)","journal-title":"Int. J. Coop. Inf. Syst."},{"issue":"1","key":"9088_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00881841","volume":"12","author":"E.L. Lozinskii","year":"1994","unstructured":"Lozinskii, E.L.: Resolving contradictions: a plausible semantics for inconsistent systems. J. Autom. Reason. 12(1), 1\u201332 (1994)","journal-title":"J. Autom. Reason."},{"issue":"2","key":"9088_CR31","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"V.W. Marek","year":"1998","unstructured":"Marek, V.W., Truszczynski, M.: Revision programming. Theor. Comput. Sci. 190(2), 241\u2013277 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"9088_CR32","doi-asserted-by":"crossref","unstructured":"Martinez, M.V., Pugliese, A., Simari, G.I., Subrahmanian, V.S., Prade, H.: How dirty is your relational database? An axiomatic approach. In: Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp. 103\u2013114 (2007)","DOI":"10.1007\/978-3-540-75256-1_12"},{"key":"9088_CR33","unstructured":"Rao, P., Sagonas, K.F., Swift, T., Warren, D.S., Freire, J.: XSB: a system for effciently computing WFS. In: Proceedings International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 431\u2013441 (1977)"},{"issue":"1\u20133","key":"9088_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(00)00005-4","volume":"45","author":"K.F. Sagonas","year":"2000","unstructured":"Sagonas, K.F., Swift, T., Warren, D.S.: An abstract machine for efficiently computing queries to well-founded models. J. Logic Program. 45(1\u20133), 1\u201341 (2000)","journal-title":"J. Logic Program."},{"key":"9088_CR35","doi-asserted-by":"crossref","unstructured":"Staworko, S., Chomicki, J., Marcinkowski, J.: Priority-based conflict resolution in inconsistent relational databases. Current Trends in Database Technology\u2014EDBT Workshops, pp. 318\u2013335 (2006)","DOI":"10.1007\/11896548_26"},{"issue":"2","key":"9088_CR36","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 Trans. Database Syst. (TODS) 19(2), 291\u2013331 (1994)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"9088_CR37","doi-asserted-by":"crossref","unstructured":"Syrjz\u00e4nen, T., Niemel\u00e4, I.: The Smodels system. In: Procedings International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 434\u2013438 (2001)","DOI":"10.1007\/3-540-45402-0_38"},{"key":"9088_CR38","unstructured":"Ullman, J.K.: Principles of Database and Knowledge-Base Systems. Computer Science Press (1998)"},{"issue":"3","key":"9088_CR39","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"issue":"3","key":"9088_CR40","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1145\/1093382.1093385","volume":"30","author":"J. Wijsen","year":"2005","unstructured":"Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst. (TODS) 30(3), 722\u2013768 (2005)","journal-title":"ACM Trans. Database Syst. (TODS)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-008-9088-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-008-9088-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-008-9088-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:51:51Z","timestamp":1559137911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-008-9088-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":40,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["9088"],"URL":"https:\/\/doi.org\/10.1007\/s10472-008-9088-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12]]}}}