{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:46:45Z","timestamp":1725486405014},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429579"},{"type":"electronic","value":"9783540456537"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45653-8_43","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T00:57:30Z","timestamp":1181350650000},"page":"624-638","source":"Crossref","is-referenced-by-count":3,"title":["Coherent Composition of Distributed Knowledge-Bases through Abduction"],"prefix":"10.1007","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[]},{"given":"Bert","family":"Van Nuffelen","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,20]]},"reference":[{"key":"43_CR1","first-page":"68","volume":"99","author":"M. Arenas","year":"1999","unstructured":"M. Arenas, L.E. Bertossi, J. Chomicki. Consistent query answers in inconsistent databases. Proc. PODS\u201999, 68\u201379, 1999.","journal-title":"Proc. PODS\u2019"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"O. Arieli. Four-valued logics for reasoning with uncertainty in prioritized data. In:Information, Uncertainty, Fusion, 263\u2013309, Kluwer, 1999.","DOI":"10.1007\/978-1-4615-5209-3_23"},{"issue":"2","key":"43_CR3","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/69.88001","volume":"3","author":"C. Baral","year":"1991","unstructured":"C. Baral, S. Kraus, J Minker. Combining Multiple Knowledge Bases. IEEE Trans. on Knowledge and Data Enginnering 3(2), 208\u2013220, 1991.","journal-title":"IEEE Trans. on Knowledge and Data Enginnering"},{"key":"43_CR4","unstructured":"S. Benferhat, C. Cayrol, D. Dubois, J.Lang, H. Prade. Inconsistency management and prioritized syntax-based entailment. Proc. IJCAI\u201993, 640\u2013645, 1993."},{"key":"43_CR5","first-page":"1449","volume":"95","author":"S. Benferhat","year":"1995","unstructured":"S. Benferhat, D. Dubois, H. Prade. How to infer from inconsistent beliefs without revising? Proc. IJCAI\u201995, 1449\u20131455, 1995.","journal-title":"Proc. IJCAI\u2019"},{"issue":"3","key":"43_CR6","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/A:1013861118705","volume":"10","author":"L. Bertossi","year":"1998","unstructured":"L. Bertossi, M. Arenas, C. Ferretti. SCDBR: An automated reasoner for specifications of database updates. Intelligent information Systems 10(3), 253\u2013280, 1998.","journal-title":"Intelligent information Systems"},{"key":"43_CR7","doi-asserted-by":"crossref","unstructured":"F. Bry. Query Answeringin Information Systems with Integrity Constraints. Proc.IICIS\u201997, 113\u2013130, 1997.","DOI":"10.1007\/978-0-387-35317-3_6"},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"M. Denecker, A.C. Kakas. Abductive Logic Programming, Special issue of Journal of Logic Programming, 44 (1\u20133), 2000.","DOI":"10.1016\/S0743-1066(99)00078-3"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"M. Denecker. Extendingclassical logic with inductive definitions. Proc. CL\u20192000,J. Lloyd et al., editors, LNAI 1861, Springer, 703\u2013717, 2000.","DOI":"10.1007\/3-540-44957-4_47"},{"issue":"2","key":"43_CR10","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"M. Denecker, D. De Schreye. SLDNFA an abductive procedure for abductive logic programs. Journal of Logic Programming 34(2), 111\u2013167, 1998.","journal-title":"Journal of Logic Programming"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"M. Fitting. Negation as refutation. Proc. LICS\u201989, IEEE Press, 63\u201370, 1989.","DOI":"10.1109\/LICS.1989.39159"},{"issue":"2","key":"43_CR12","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"M. Fitting. Bilattices and the semantics of logic programming. Journal of Logic Programming 11(2), 91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"43_CR13","first-page":"89","volume":"97","author":"M. Gertz","year":"1997","unstructured":"M. Gertz, U.W. Lipeck. An extensible framework for repairingconstraint violations.Proc. IICIS\u201997, 89\u2013111, 1997.","journal-title":"Proc. IICIS\u2019"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"S. Greco, E. Zumpano. Querying inconsistent databases. Proc. LPAR\u20192000,M. Parigot and A. Voronokov, editors, LNAI 1955, 308\u2013325, Springer, 2000.","DOI":"10.1007\/3-540-44404-1_20"},{"key":"43_CR15","first-page":"204","volume":"95","author":"K. Inoue","year":"1995","unstructured":"K. Inoue, C. Sakama. Abductive framework for nonmonotonic theory change. Proc.IJCAI\u201995, 204\u2013210, 1995.","journal-title":"Proc.IJCAI\u2019"},{"key":"43_CR16","unstructured":"T. Kakas, P. Mancarella. Database updates through abduction. Proc VLDB\u201990, 650\u2013661, 1990."},{"issue":"1\u20133","key":"43_CR17","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","volume":"44","author":"T. Kakas","year":"2000","unstructured":"T. Kakas, A. Michael, C. Mourlas. ACLP: Abductive constraint logic programming.Journal of Logic Programming 44(1\u20133), 129\u2013177, 2000.","journal-title":"Journal of Logic Programming"},{"key":"43_CR18","unstructured":"T. Kakas, B. Van Nuffelen, M. Denecker. A-System: Problem solving through abduction.Proc. IJCAI\u201901, 2001."},{"issue":"2","key":"43_CR19","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"M. Kifer, E.L. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated Reasoning 9(2), 179\u2013215, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"43_CR20","unstructured":"P. Liberatore, M. Schaerf. BReLS: a system for the integration of knowledge bases.Proc KR\u20192000, 145\u2013152, 2000."},{"issue":"1","key":"43_CR21","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1142\/S0218843098000040","volume":"7","author":"J. Lin","year":"1998","unstructured":"J. Lin, A.O. Mendelzon. Merging databases under constraints. Int. Journal of CooperativeInformation Systems 7(1), 55\u201376, 1998.","journal-title":"Int. Journal of CooperativeInformation Systems"},{"key":"43_CR22","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0169-023X(97)00012-8","volume":"23","author":"B. Messing","year":"1997","unstructured":"B. Messing. Combining knowledge with many-valued logics. Data and Knowledge Engineering 23, 297\u2013315, 1997.","journal-title":"Data and Knowledge Engineering"},{"key":"43_CR23","unstructured":"A. Oliv\u00e9. Integrity checking in deductive databases. Proc VLBD\u201991, 513\u2013523, 1991."},{"key":"43_CR24","unstructured":"L. M. Pereira, J.N. Aparicio, J.J. Alferes., Hypothetical Reasoningwith Well Founded Semantics, Proc. of the 3th Scandinavian Conference on AI, B. Mayoh,IOS Press, 289\u2013300, 1991"},{"issue":"1","key":"43_CR25","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0743-1066(95)00049-P","volume":"25","author":"R. Reiter","year":"1995","unstructured":"R. Reiter. On specifying data base updates. Journal of Logic Programming, 25(1), 53\u201391, 1995.","journal-title":"Journal of Logic Programming"},{"key":"43_CR26","first-page":"71","volume":"93","author":"P.Z. Revesz","year":"1993","unstructured":"P.Z. Revesz. On the semantics of theory change: Arbitration between old and new information. Proc. PODS\u201993, 71\u201382, 1993.","journal-title":"Proc. PODS\u2019"},{"key":"43_CR27","doi-asserted-by":"crossref","unstructured":"C. Sakama, K. Inoue. Updating extended logic programs through abduction. ProcLPNMR\u201999, 147\u2013161, 1999.","DOI":"10.1007\/3-540-46767-X_11"},{"key":"43_CR28","first-page":"7","volume":"7","author":"V.S. Subrahmanian","year":"1990","unstructured":"V.S. Subrahmanian. Mechanical proof procedures for many valued lattice-based logic programming. Journal of Non-Classical Logic 7, 7\u201341, 1990.","journal-title":"Journal of Non-Classical Logic"},{"issue":"2","key":"43_CR29","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V.S. Subrahmanian","year":"1994","unstructured":"V.S. Subrahmanian. Amalgamating knowledge-bases. ACM Trans. on DatabaseSystems 19(2), 291\u2013331, 1994.","journal-title":"ACM Trans. on DatabaseSystems"},{"issue":"3","key":"43_CR30","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(99)00003-5","volume":"41","author":"S. Verbaeten","year":"2000","unstructured":"S. Verbaeten, M. Denecker, D. De Schreye. Compositionality of normal open logic programs. Journal of Logic Programming 41(3), 151\u2013183, 2000.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45653-8_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:21:46Z","timestamp":1556479306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45653-8_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429579","9783540456537"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-45653-8_43","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}