{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T13:03:39Z","timestamp":1746450219265},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540432203"},{"type":"electronic","value":"9783540457589"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45758-5_5","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:32:20Z","timestamp":1193340740000},"page":"67-84","source":"Crossref","is-referenced-by-count":24,"title":["A Logical Framework for Integrating Inconsistent Information in Multiple Databases"],"prefix":"10.1007","author":[{"given":"Sandra","family":"de Amo","sequence":"first","affiliation":[]},{"given":"Walter A.","family":"Carnielli","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Marcos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,5]]},"reference":[{"key":"5_CR1","unstructured":"Abiteboul, S., Hull, R. and Vianu, V.: Foundations of Databases, Addison-Wesley (1995)."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Agarwal, S., Keller, A. M., Wiederhold, G., Saraswat, K.: Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases. Proceedings ICDE, 1995.","DOI":"10.1109\/ICDE.1995.380364"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent Query Answers in Inconsistent Databases. In Proc. of the 18th ACM Symposium on Principles of Database Systems, June 1999, Philadelphia, USA, pp 68\u201379.","DOI":"10.1145\/303976.303983"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Specifying and Querying Database Repairs using Logic Programs with Exceptions. In Proc. 4th International Conference on Flexible Query Aswering Systems, October 2000,Warsaw, Poland, Springer-Verlag.","DOI":"10.1007\/978-3-7908-1834-5_3"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","volume":"8","author":"C. Baral","year":"1992","unstructured":"Baral, C., Kraus, S., Minker, J., Subrahmanian, V. S.: Combining knowledge bases consisting of first-order theories. Computational Intelligence, 8:45\u201371, 1992.","journal-title":"Computational Intelligence"},{"key":"5_CR6","series-title":"Lect Notes Comput Sci","first-page":"135","volume-title":"Theoretical Computer Science","author":"H. Blair","year":"1989","unstructured":"Blair, H., Subrahmanian, V.S.: Paraconsistent Logic Programming. Theoretical Computer Science, 68: 135\u2013154, 1989. Also in Proc. Conf. on Foundations of Software Technology and Theoretical Computer Science, (LNCS 287), 340-360, 1987. Integrity"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A. and Marcos, J.: A taxonomy of C-systems To appear in: W. A. Carnielli, M. E. Coniglio, and I. M. L. D\u2019Ottaviano, editors, Paraconsistency: The logical way to the inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP2000). Marcel Dekker, 2001. http:\/\/www.cle.unicamp.br\/e-prints\/abstract 5.htm","DOI":"10.1201\/9780203910139"},{"key":"5_CR8","unstructured":"Carnielli, W.A. and Marcos, J.: Tableau systems for logics of formal inconsistency. In: H.R. Arabnia, editor, Proceedings of the 2001 International Conference on Artificial Intelligence, (IC-AI 2001), v. II, p. 848\u2013852. CSREA Press, USA, 2001. http:\/\/logica.rug.ac.be\/~joao\/tableauxLFIs.ps.zip"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Marcos, J., de Amo, S.: Formal Inconsistency and evolutionary databases. To appear in Logic and Logical Philosophy, 7\/8, 2000. http:\/\/www.cle.unicamp.br\/e-prints\/abstract 6.htm","DOI":"10.12775\/LLP.2000.008"},{"key":"5_CR10","unstructured":"Carnielli, W.A., de Amo, S.: A logic-based system for controlling inconsistencies in evolutionary databases. Proc. of the VI Workshop on Logic, Language, Information and Computation, (WoLLIC 99), Itatiaia, Brazil, 1998, pp.89\u2013101."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Carnielli, Walter A.: Many-valued logics and plausible reasoning. Proceedings of International Symp. on Multiple-valued Logic, Charlotte, U.S.A.,pp. 328\u2013335 IEEE Computer Society Press(1990)","DOI":"10.1109\/ISMVL.1990.122642"},{"issue":"1","key":"5_CR12","first-page":"49","volume":"2","author":"W. A. Carnielli","year":"1992","unstructured":"Carnielli, W. A., Lima-Marques, M.: Reasoning under Inconsistent Knowledge. Journal of Applied Non-classical Logics, Vol. 2 (1), 1992, pp. 49\u201379.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"5_CR13","unstructured":"Carnielli,Walter A.: Systematization of the finite many-valued through the method of tableaux."},{"key":"5_CR14","first-page":"497","volume":"11","author":"C.A. Newton","year":"1974","unstructured":"da Costa, Newton C.A.: On the theory of inconsistent formal system, Notre Dame Journal of Formal Logic, v. 11, pp. 497\u2013510 (1974).","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5_CR15","unstructured":"Dreben, B., Goldburg, W.D.: The Decision Problem: Solvable Classes of Quantificational Formulas. Addison-Wesley, 1979."},{"key":"5_CR16","unstructured":"Dung, P.M.: Integrating Data from Possibly Inconsistency Databases. International Conference on Cooperative Information Systems, Brussels, Belgium, 1996."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J. D., Vardi, M.: On the semantics of updates in databases. In 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages352\u2013365, 1983.","DOI":"10.1145\/588058.588100"},{"issue":"182","key":"5_CR18","first-page":"3","volume":"116","author":"R. Fagin","year":"1994","unstructured":"Fagin, R.: Finite Model Theory: a Personal Perspective. Theoretical Computer Science, 116 (182):3\u201331, 1994.","journal-title":"Theoretical Computer Science"},{"key":"5_CR19","unstructured":"Gallo, G., Rago, G.: The Satisfiability problem for the Sch\u00f6enfinkel-Bernays fragment: Partial Instantiation and Hypergraph Algorithms TR 4\/94, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1994."},{"key":"5_CR20","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux-Modeling the Dynamics of Epistemic States. MIT Press, 1988."},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Lozinskii, E.L: A Logic for Reasoning with Inconsistency. Journal of Automated Reasoning 9: 179\u2013215, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Transactions on Database Systems, 19(2)-1994.","DOI":"10.1145\/176567.176571"},{"key":"5_CR23","unstructured":"Trakhtenbrot, B.A.: The impossibility of an algorithm for the decision problem for finite domains. (Russian), Doklady Akademii Nauk, SSSR (N.S.) 70, pp 569\u2013572, 1950."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45758-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T06:46:06Z","timestamp":1629960366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45758-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432203","9783540457589"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45758-5_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}