{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:14Z","timestamp":1725550034298},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285380"},{"type":"electronic","value":"9783540318279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546207_11","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:41:23Z","timestamp":1127832083000},"page":"132-144","source":"Crossref","is-referenced-by-count":0,"title":["An ID-Logic Formalization of the Composition of Autonomous Databases"],"prefix":"10.1007","author":[{"given":"Bert","family":"Van Nuffelen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ofer","family":"Arieli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alvaro","family":"Cort\u00e9s-Calabuig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS 1999, pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"issue":"4\u20135","key":"11_CR2","doi-asserted-by":"publisher","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. Theory and Practice of Logic Programming\u00a03(4\u20135), 393\u2013424 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1613\/jair.1322","volume":"21","author":"O. Arieli","year":"2004","unstructured":"Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Coherent integration of databases by abductive logic programming. Artif. Intelligence Research\u00a021, 245\u2013286 (2004)","journal-title":"Artif. Intelligence Research"},{"key":"11_CR4","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)"},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/69.88001","volume":"3","author":"C. Baral","year":"1991","unstructured":"Baral, C., Kraus, S., Minker, J.: Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Enginnering\u00a03(2), 208\u2013220 (1991)","journal-title":"IEEE Trans. on Knowledge and Data Enginnering"},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C. Batini","year":"1986","unstructured":"Batini, C., Lenzerini, M., Navathe, S.B.: A comparative analysis of methodologies for database schema integration. ACM Computing Surveys\u00a018(4), 323\u2013364 (1986)","journal-title":"ACM Computing Surveys"},{"key":"11_CR7","volume-title":"Knowledge representation and Reasoning","author":"R. Brachman","year":"2004","unstructured":"Brachman, R., Levesque, H.: Knowledge representation and Reasoning. Morgan Kaufmann, San Francisco (2004)"},{"key":"11_CR8","unstructured":"Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. IJCAI 2003, pp. 10\u201315 (2003)"},{"key":"11_CR9","first-page":"525","volume-title":"Proc. PODS 1997","author":"S. Bressan","year":"1997","unstructured":"Bressan, S., Goh, C.H., Fynn, K., Jakobisiak, M., Hussein, K., Kon, H., Lee, T., Madnick, S., Pena, T., Qu, J., Shum, A., Siegel, M.: The context interchange mediator prototype. In: Proc. PODS 1997, pp. 525\u2013527. ACM, New York (1997)"},{"issue":"2","key":"11_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0306-4379(03)00050-4","volume":"29","author":"A. Cal\u00ec","year":"2004","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lanzerini, M.: Data integration under integrity constraints. Information Systems\u00a029(2), 147\u2013163 (2004)","journal-title":"Information Systems"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/773153.773179","volume-title":"Proc. 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. PODS 2003, pp. 260\u2013271. ACM, New York (2003)"},{"key":"11_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1007\/3-540-44957-4_47","volume-title":"Computational Logic - CL 2000","author":"M. Denecker","year":"2000","unstructured":"Denecker, M.: Extending classical logic with inductive definitions. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 703\u2013717. Springer, Heidelberg (2000)"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1145\/383779.383789","volume":"2","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., Bruynooghe, M., Marek, V.: Logic programming revisited: logic programs as inductive definitions. ACM Trans. on Computational Logic\u00a02(4), 623\u2013654 (2001)","journal-title":"ACM Trans. on Computational Logic"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"Denecker, M., De Schreye, D.: SLDNFA an abductive procedure for abductive logic programs. Journal of Logic Programming\u00a034(2), 111\u2013167 (1998)","journal-title":"Journal of Logic Programming"},{"key":"11_CR15","first-page":"545","volume-title":"Proc. KR 2004","author":"M. Denecker","year":"2004","unstructured":"Denecker, M., Ternovska, E.: Inductive situation calculus. In: Proc. KR 2004, pp. 545\u2013553. Morgan Kaufmann Publishers, San Francisco (2004)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-24599-5_12","volume-title":"Logic Programming","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Fink, M., Greco, G., Lembo, D.: Efficient evaluation of logic programs for querying data integration systems. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 163\u2013177. Springer, Heidelberg (2003)"},{"key":"11_CR17","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR system dlv: Progress report, comparisons and benchmarks. In: Proc. KR 1998, pp. 406\u2013417 (1998)"},{"key":"11_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/3-540-45653-8_39","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"E. Franconi","year":"2001","unstructured":"Franconi, E., Palma, A., Leone, N., Perri, D., Scarcello, F.: Census data repair: A challenging application of disjunctive logic programming. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 561\u2013578. Springer, Heidelberg (2001)"},{"key":"11_CR19","unstructured":"Friedman, M., Levy, A.Y., Millstein, T.D.: Navigational plans for data integration. In: Proc. 16th AAAI, pp. 67\u201373 (1999)"},{"key":"11_CR20","unstructured":"Kakas, A., Van Nuffelen, B., Denecker, M.: A-system: Problem solving through abduction. In: Proc. IJCAI 2001, pp. 591\u2013596 (2001)"},{"key":"11_CR21","unstructured":"Levy, A., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: Proc. VLDB 1996, pp. 251\u2013262 (1996)"},{"key":"11_CR22","first-page":"145","volume-title":"Proc. KR 2000","author":"P. Liberatore","year":"2000","unstructured":"Liberatore, P., Schaerf, M.: BReLS: A system for the integration of knowledge bases. In: Proc. KR 2000, pp. 145\u2013152. Morgan Kaufmann Publishers, San Francisco (2000)"},{"key":"11_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-30227-8_12","volume-title":"Logics in Artificial Intelligence","author":"M. Mari\u00ebn","year":"2004","unstructured":"Mari\u00ebn, M., Gilis, D., Denecker, M.: On the relation between ID-logic and answer set programming. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 108\u2013120. Springer, Heidelberg (2004)"},{"key":"11_CR24","volume-title":"Proc. 19th ICDE","author":"P. McBrien","year":"2003","unstructured":"McBrien, P., Poulovassilis, A.: Data integration by bi-directional schema transformation rules. In: Proc. 19th ICDE. IEEE, Los Alamitos (2003)"},{"issue":"1-2","key":"11_CR25","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"Patrik Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soinien, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1\u20132) (2002)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"11_CR26","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0304-3975(99)00219-4","volume":"239","author":"J. Ullman","year":"2000","unstructured":"Ullman, J.: Information integration using logical views. Theoretical Computer Science\u00a0239(2), 189\u2013210 (2000)","journal-title":"Theoretical Computer Science"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Van Belleghem, K., Denecker, M., De Schreye, D.: A strong correspondence between description logics and open logic programming. In: Proc. ICLP 1997, pp. 346\u2013360 (1997)","DOI":"10.7551\/mitpress\/4299.003.0030"},{"issue":"3","key":"11_CR28","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. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"11_CR29","unstructured":"Van Nuffelen, B.: Abductive constraint logic programming. PhD thesis, Katholieke Universiteit Leuven (2004)"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-25975-6_7","volume-title":"Advanced Information Systems Engineering","author":"B. Nuffelen Van","year":"2004","unstructured":"Van Nuffelen, B., Cort\u00e9s-Calabuig, A., Denecker, M., Arieli, O., Bruynooghe, M.: Data integration using ID-logic. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 67\u201381. Springer, Heidelberg (2004)"},{"key":"11_CR31","first-page":"365","volume-title":"Proc. ICLP 1999","author":"S. Verbaeten","year":"1999","unstructured":"Verbaeten, S.: Termination analysis for abductive general logic programs. In: Proc. ICLP 1999, pp. 365\u2013379. MIT Press, Cambridge (1999)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11546207_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T10:33:48Z","timestamp":1706610828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11546207_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285380","9783540318279"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11546207_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}