{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:44Z","timestamp":1725493904578},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009573"},{"type":"electronic","value":"9783540365969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36596-6_2","type":"book-chapter","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T21:23:52Z","timestamp":1193261032000},"page":"7-33","source":"Crossref","is-referenced-by-count":13,"title":["Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Barcel\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leopoldo","family":"Bertossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loreto","family":"Bravo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,1]]},"reference":[{"key":"2_CR1","unstructured":"Abiteboul, S., Hull, R. and Vianu, V. Foundations of Databases. Addison-Wesley, 1995."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L. and Chomicki, J. Consistent Query Answers in Inconsistent Databases. In Proc. ACM Symposium on Principles of Database Systems (ACM PODS\u201999), 1999, pp. 68\u201379.","DOI":"10.1145\/303976.303983"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L. and Kifer, M. Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. In \u2018Computational Logic-CL2000\u2019 Stream: 6th International Conference on Rules and Objects in Databases (DOOD\u20192000). Springer Lecture Notes in Artificial Intelligence 1861, 2000, pp. 926\u2013941.","DOI":"10.1007\/3-540-44957-4_62"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L. and Chomicki, J. Specifying and Querying Database Repairs using Logic Programs with Exceptions. In Flexible Query Answering Systems. Recent Developments, H. L. Larsen, J. Kacprzyk, S. Zadrozny, H. Christiansen (eds.), Springer, 2000, pp. 27\u201341.","DOI":"10.1007\/978-3-7908-1834-5_3"},{"key":"2_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-44503-X_3","volume-title":"Database Theory-ICDT 2001","author":"M. Arenas","year":"2001","unstructured":"Arenas, M., Bertossi, L. and Chomicki, J. Scalar Aggregation in FD-Inconsistent Databases. In Database Theory-ICDT 2001, Springer, LNCS 1973, 2001, pp. 39\u201353."},{"key":"2_CR6","unstructured":"Arenas, M., Bertossi, L. and Chomicki, J. Answer Sets for Consistent Query Answers. To appear in Theory and Practice of Logic Programming."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Baral, C. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003.","DOI":"10.1017\/CBO9780511543357"},{"key":"2_CR8","unstructured":"Barcelo, P. and Bertossi, L. Repairing Databases with Annotated Predicate Logic. In Proc. Nineth International Workshop on Non-Monotonic Reasoning (NMR\u20192002), Special session: Changing and Integrating Information: From Theory to Practice, S. Benferhat and E. Giunchiglia (eds.), 2002, pp. 160\u2013170."},{"key":"2_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-36388-2_15","volume-title":"Logic Programs for Querying Inconsistent Databases","author":"P. Barcelo","year":"2003","unstructured":"Barcelo, P. and Bertossi, L. Logic Programs for Querying Inconsistent Databases. Proc. Practical Aspects of Declarative Languages (PADL03), Springer LNCS 2562, 2003, pp. 208\u2013222."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF01530761","volume":"12","author":"R. Ben-Eliyahu","year":"1994","unstructured":"Ben-Eliyahu, R. and Dechter, R. Propositional Semantics for Disjunctive Logic Programs. Annals of Mathematics in Artificial Intelligence, 1994, 12:53\u201387.","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Bertossi, L., Chomicki, J., Cortes, A. and Gutierrez, C. Consistent Answers from Integrated Data Sources. In \u2018Flexible Query Answering Systems\u2019, Proc. of the 5th International Conference, FQAS 2002. T. Andreasen, A. Motro, H. Christiansen, H. L. Larsen (eds.). Springer LNAI 2522, 2002, pp. 71\u201385.","DOI":"10.1007\/3-540-36109-X_6"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. A. Blair","year":"1989","unstructured":"Blair, H. A. and Subrahmanian, V. S. Paraconsistent Logic Programming. Theoretical Computer Science, 1989, 68:135\u2013154.","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"2_CR13","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/69.877512","volume":"12","author":"F. Buccafurri","year":"2000","unstructured":"Buccafurri, F., Leone, N. and Rullo, P. Enhancing Disjunctive Datalog by Constraints. IEEE Transactions on Knowledge and Data Engineering, 2000, 12(5):845\u2013860.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"2_CR14","unstructured":"Celle, A. and Bertossi, L. Querying Inconsistent Databases: Algorithms and Implementation. In \u2018Computational Logic-CL 2000\u2019, J. Lloyd et al. (eds.). Stream: 6th International Conference on Rules and Objects in Databases (DOOD\u20192000). Springer Lecture Notes in Artificial Intelligence 1861, 2000, pp. 942\u2013956."},{"key":"2_CR15","unstructured":"Chomicki, J. and Marcinkowski, J. On the Computational Complexity of Consistent Query Answers. Submitted in 2002 (CoRR paper cs.DB\/0204010)."},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00881886","volume":"12","author":"T. Chou","year":"1994","unstructured":"Chou, T. and Winslett, M. A Model-Based Belief Revision System. Journal of Automated Reasoning, 1994, 12:157\u2013208.","journal-title":"Journal of Automated Reasoning"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Damasio, C. V. and Pereira, L. M. A Survey on Paraconsistent Semantics for Extended Logic Programas. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 2, D. M. Gabbay and Ph. Smets (eds.), Kluwer Academic Publishers, 1998, pp. 241\u2013320.","DOI":"10.1007\/978-94-017-1739-7_8"},{"issue":"3","key":"2_CR18","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G. and Voronkov, A. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 2001, 33(3): 374\u2013425.","journal-title":"ACM Computing Surveys"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(93)90073-3","volume":"114","author":"T. Eiter","year":"1993","unstructured":"Eiter, T. and Gottlob, G. Propositional Circumscription and Extended Closed World Assumption are \u03a0p 2-complete. Theoretical Computer Science, 1993, 114, pp. 231\u2013245.","journal-title":"Theoretical Computer Science"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G. and Scarcello, F. A Deductive System for Non-Monotonic Reasoning. Proc. LPNMR\u201997, Springer LNAI 1265, 1997, pp. 364\u2013375.","DOI":"10.1007\/3-540-63255-7_27"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W.; Leone, N. and Pfeifer, G. Declarative Problem-Solving in DLV. In Logic-Based Artificial Intelligence, J. Minker (ed.), Kluwer, 2000, pp. 79\u2013103.","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"2_CR22","first-page":"1","volume":"3","author":"R. Fagin","year":"1986","unstructured":"Fagin, R., Kuper, G., Ullman, J. and Vardi, M. Updating Logical Databases. In Advances in Computing Research, JAI Press, 1986, Vol. 3, pp. 1\u201318.","journal-title":"Advances in Computing Research"},{"key":"2_CR23","unstructured":"Gelfond, M. and Lifschitz, V. The Stable Model Semantics for Logic Programming. In Logic Programming, Proceedings of the Fifth International Conference and Symposium, R. A. Kowalski and K. A. Bowen (eds.), MIT Press, 1988, pp. 1070\u20131080."},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M. and Lifschitz, V. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 1991, 9:365\u2013385.","journal-title":"New Generation Computing"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Giannotti, F., Greco, S.; Sacca, D. and Zaniolo, C. Programming with Nondeterminism in Deductive Databases. Annals of Mathematics and Artificial Intelligence, 1997, 19(3\u20134).","DOI":"10.1023\/A:1018999404360"},{"key":"2_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/3-540-45635-X_31","volume-title":"A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases","author":"G. Greco","year":"2001","unstructured":"Greco, G., Greco, S. and Zumpano, E. A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. In Proc. 17th International Conference on Logic Programming, ICLP\u201901, Ph. Codognet (ed.), LNCS 2237, Springer, 2001, pp. 348\u2013364."},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Lozinskii, E. L. A Logic for Reasoning with Inconsistency. Journal of Automated reasoning, 1992, 9(2):179\u2013215.","journal-title":"Journal of Automated reasoning"},{"issue":"4","key":"2_CR28","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Subrahmanian, V. S. Theory of Generalized Annotated Logic Programming and its Applications. Journal of Logic Programming, 1992, 12(4):335\u2013368.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"2_CR29","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1006\/inco.1997.2630","volume":"135","author":"N. Leone","year":"1997","unstructured":"Leone, N., Rullo, P. and Scarcello, F. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Information and Computation, 1997, 135(2):69\u2013112.","journal-title":"Information and Computation"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W. Foundations of Logic Programming. Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"2","key":"2_CR31","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"V. W. Marek","year":"1998","unstructured":"Marek, V. W. and Truszczynski, M. Revision Programming. Theoretical Computer Science, 1998, 190(2):241\u2013277.","journal-title":"Theoretical Computer Science"},{"key":"2_CR32","unstructured":"Pradhan, S. Reasoning with Conflicting Information in Artificial Intelligence and Database Theory. PhD thesis, Department of Computer Science, University of Maryland, 2001."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Reiter, R. Towards a Logical Reconstruction of Relational Database Theory. In On Conceptual Modelling, M. L. Brodie, J. Mylopoulos, J. W. Schmidt (eds.), Springer, 1984.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Sagonas, K. F., Swift, T. and Warren, D. S. XSB as an Efficient Deductive Database Engine. In Proc. of the 1994 ACM SIGMOD International Conference on Management of Data, ACM Press, 1994, pp. 442\u2013453.","DOI":"10.1145\/191839.191927"},{"key":"2_CR35","unstructured":"Winslett, M. Reasoning about Action using a Possible Models Approach. In Proc. Seventh National Conference on Artificial Intelligence (AAAI\u201988), 1988, pp. 89\u201393."}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36596-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T00:03:06Z","timestamp":1556928186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36596-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009573","9783540365969"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-36596-6_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}