{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:27:54Z","timestamp":1725542874302},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642115028"},{"type":"electronic","value":"9783642115035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11503-5_3","type":"book-chapter","created":{"date-parts":[[2010,1,7]],"date-time":"2010-01-07T04:42:16Z","timestamp":1262839336000},"page":"10-24","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Application of Answer Set Programming for Advanced Data Integration"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Leone","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]},{"given":"Luca Agostino","family":"Rubino","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. PODS 2002, pp. 233\u2013246 (2002)","key":"3_CR1","DOI":"10.1145\/543613.543644"},{"key":"3_CR2","first-page":"68","volume-title":"Proc. PODS\u00a01999","author":"M. Arenas","year":"1999","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent Query Answers in Inconsistent Databases. In: Proc. PODS\u00a01999, pp. 68\u201379. ACM Press, New York (1999)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Inconsistency Tolerance","year":"2005","unstructured":"Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol.\u00a03300. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"3_CR4","doi-asserted-by":"publisher","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. Information and Computation\u00a0197(1-2), 90\u2013121 (2005)","journal-title":"Information and Computation"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/773153.773179","volume-title":"Proc. of PODS 2003","author":"A. Cal\u00ec","year":"2003","unstructured":"Cal\u00ec, A., Lembo, D., ROsati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS 2003, pp. 260\u2013271. ACM, New York (2003)"},{"doi-asserted-by":"crossref","unstructured":"Leone, N., et al.: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In: Proc. ACM SIGMOD\u00a02005, pp. 915\u2013917 (2005)","key":"3_CR6","DOI":"10.1145\/1066157.1066286"},{"issue":"2","key":"3_CR7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S1471068407003158","volume":"8","author":"G. Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. Theory and Practice of Logic Programming (TPLP)\u00a08(2), 129\u2013165 (2008)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-88737-9_10","volume-title":"Web Reasoning and Rule Systems","author":"G. Terracina","year":"2008","unstructured":"Terracina, G., De Francesco, E., Panetta, C., Leone, N.: Enhancing a DLP system for advanced database applications. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 119\u2013134. Springer, Heidelberg (2008)"},{"key":"3_CR9","first-page":"1070","volume-title":"Logic Programming: Proceedings Fifth Intl Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Logic Programming: Proceedings Fifth Intl Conference and Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases \u00a09, 365\u2013385 (1991)","key":"3_CR10","DOI":"10.1007\/BF03037169"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"6th Conference on Automated Deduction","author":"J. Minker","year":"1982","unstructured":"Minker, J.: On Indefinite Data Bases and the Closed World Assumption. In: Loveland, D.W. (ed.) CADE 1982. LNCS, vol.\u00a0138, pp. 292\u2013308. Springer, Heidelberg (1982)"},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM Transactions on Database Systems"},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Trans. Comput. Log.\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"unstructured":"Halevy, A.Y.: Data integration: A status report. In: 10th Conference on Database Systems for Business, Technology and Web (BTW 2003), pp. 24\u201329 (2003)","key":"3_CR14"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/978-3-540-27775-0_26","volume-title":"Logic Programming","author":"C. Cumbo","year":"2004","unstructured":"Cumbo, C., Faber, W., Greco, G., Leone, N.: Enhancing the magic-set method for disjunctive datalog programs. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 371\u2013385. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11503-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:41:25Z","timestamp":1606185685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11503-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642115028","9783642115035"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11503-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}