{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:59:07Z","timestamp":1725566347118},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_60","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"698-701","source":"Crossref","is-referenced-by-count":2,"title":["New DLV Features for Data Integration"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuela","family":"Citrigno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Cumbo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Faber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Pfeifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"60_CR1","unstructured":"INFOMIX project (IST-2001-33570), http:\/\/www.mat.unical.it\/infomix\/"},{"key":"60_CR2","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Specifying and querying database repairs using logic programs with exceptions., 27\u201341 (2000)","DOI":"10.1007\/978-3-7908-1834-5_3"},{"key":"60_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-24627-5_3","volume-title":"Foundations of Information and Knowledge Systems","author":"O. Arieli","year":"2004","unstructured":"Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Database repair by signed formulae. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol.\u00a02942, pp. 14\u201330. Springer, Heidelberg (2004)"},{"key":"60_CR4","unstructured":"Barcel\u00f3, P., Bertossi, L.: Repairing databases with annotated predicate logic. In: NMR 2002 (2002)"},{"key":"60_CR5","unstructured":"Bravo, L., Bertossi, L.E.: Logic Programs for Consistently Querying Data Integration Systems. In: Proceedings of IJCAI 2003, pp. 10\u201315 (2003)"},{"issue":"3","key":"60_CR6","first-page":"448","volume":"9","author":"M. Cadoli","year":"1997","unstructured":"Cadoli, M., Eiter, T., Gottlob, G.: Default Logic as a Query Language. IEEE TKDE\u00a09(3), 448\u2013463 (1997)","journal-title":"IEEE TKDE"},{"key":"60_CR7","unstructured":"Cal\u2018\u0131, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proceedings of IJCAI 2003, pp. 16\u201321 (2003)"},{"key":"60_CR8","doi-asserted-by":"crossref","unstructured":"Cumbo, C., Faber, W., Greco, G., Leone, N.: Enhancing the Magic Set Method for Disjunctive Datalog Programs. In: Proceedings of ICLP 2004 (2004) (to appear)","DOI":"10.1007\/978-3-540-27775-0_26"},{"key":"60_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/3-540-63255-7_27","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A Deductive System for Nonmonotonic Reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.\u00a01265, pp. 363\u2013374. Springer, Heidelberg (1997)"},{"key":"60_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-45635-X_31","volume-title":"Logic Programming","author":"G. Greco","year":"2001","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 348\u2013364. Springer, Heidelberg (2001)"},{"key":"60_CR11","unstructured":"Leone, N., Perri, S., Scarcello, F.: Backjumping Techniques for Rules Instantiation in the DLV System. In: Proceedings of NMR 2004, pp. 258\u2013266 (2004)"},{"key":"60_CR12","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. In: ACM TOCL (2004) (to appear), Available via http:\/\/www.arxiv.org\/ps\/cs.AI\/0211004"},{"key":"60_CR13","unstructured":"Ullman, J.D.: Principles of Database and Knowledge Base Systems (1989)"},{"key":"60_CR14","unstructured":"Lembo, D., Lenzerini, M., Rosati, R.: Source Inconsistency and Incompleteness in Data Integration. In: KRDB 2002 (2002)"}],"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-540-30227-8_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:51:02Z","timestamp":1605761462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}