{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:03Z","timestamp":1747546923339},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_3","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:32:20Z","timestamp":1193340740000},"page":"32-48","source":"Crossref","is-referenced-by-count":7,"title":["Analytic Tableaux and Database Repairs: Foundations"],"prefix":"10.1007","author":[{"given":"Leopoldo","family":"Bertossi","sequence":"first","affiliation":[]},{"given":"Camilla","family":"Schwind","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,5]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"M. Arenas, L. Bertossi and J. Chomicki. Consistent Query Answers in Inconsistent Databases. Proc. ACM Symposium on Principles of Database Systems (ACM PODS\u201999), 1999, pp. 68\u201379.","key":"3_CR1","DOI":"10.1145\/303976.303983"},{"key":"3_CR2","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":"M. Arenas, L. Bertossi and J. Chomicki. Scalar Aggregation in FD-Inconsistent Databases. In Database Theory-ICDT 2001 (Proc. International Conference on Database Theory, ICDT\u20192001). Springer LNCS 1973, 2001, pp. 39\u201353."},{"unstructured":"L. Bertossi and C. Schwind. An Analytic Tableaux based Characterization of Database Repairs for Consistent Query Answering (preliminary report). In Working Notes of the IJCAI\u201901 Workshop on Inconsistency in Data and Knowledge, AAAI Press, 2001, pp. 95\u2013106.","key":"3_CR3"},{"unstructured":"E. W. Beth. The Foundations of Mathematics. North Holland, 1959.","key":"3_CR4"},{"doi-asserted-by":"crossref","unstructured":"F. Bry. Query Answering in Information Systems with Integrity Constraints. In Proc. IFIP WG 11.5 Working Conference on Integrity and Control in Information Systems, Chapman & Hall, 1997.","key":"3_CR5","DOI":"10.1007\/978-0-387-35317-3_6"},{"doi-asserted-by":"crossref","unstructured":"A. Celle and L. Bertossi. 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). Lecture Notes in Artificial Intelligence 1861, Springer 2000, pp. 942\u2013956.","key":"3_CR6","DOI":"10.1007\/3-540-44957-4_63"},{"unstructured":"L. Cholvy. A General Framework for Reasoning about Contradictory Information and some of its Applications. In Proceedings of ECAI Workshop \u201cConflicts among Agents\u201d, Brighton, England, August 1998.","key":"3_CR7"},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00244394","volume":"4","author":"M. Fitting","year":"1988","unstructured":"M. Fitting. First Order Modal Tableaux. Journal of Automated Reasoning, 4(2), 191\u2013213, 1988.","journal-title":"Journal of Automated Reasoning"},{"doi-asserted-by":"crossref","unstructured":"M. Fitting. First Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science. Springer Verlag, 1990.","key":"3_CR9","DOI":"10.1007\/978-1-4684-0357-2"},{"doi-asserted-by":"crossref","unstructured":"G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2(3), 1992.","key":"3_CR10","DOI":"10.1093\/logcom\/2.3.397"},{"unstructured":"E. Lafon and C. B. Schwind. A Theorem Prover for Action Performance. In Y. Kodratoff, editor, Proceedings of the 8th European Conference on Artificial Intelligence, pages 541\u2013546. Pitman Publishing, 1988.","key":"3_CR11"},{"doi-asserted-by":"crossref","unstructured":"R. Reiter. Towards a Logical Reconstruction of Relational Database Theory. In \u2018On Conceptual Modeling\u2019, Brodie, M. L. and Mylopoulos, J. and Schmidt, J. W. (eds.), Springer-Verlag, 1984, pp. 191\u2013233.","key":"3_CR12","DOI":"10.1007\/978-1-4612-5196-5_8"},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1145\/5383.5388","volume":"33","author":"R. Reiter","year":"1986","unstructured":"R. Reiter. A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values. Journal of the ACM, 33(2): 349\u2013370, 1986.","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"C. B. Schwind. A Tableau-based Theorem Prover for a Decidable Subset of Default Logic. In M. E. Stickel, editor, Proceedings of the 10th International Conference on Automated Deduction, number 449 in Lecture Notes in Artificial Intelligence, pages 541\u2013546. Springer Verlag, July 1990.","key":"3_CR14","DOI":"10.1007\/3-540-52885-7_112"},{"issue":"4","key":"3_CR15","first-page":"223","volume":"13","author":"C. B. Schwind","year":"1994","unstructured":"C. B. Schwind and V. Risch. Tableau-based Characterisation and Theorem Proving for Default Logic. Journal of Automated Reasoning, 13(4):223\u2013242, 1994.","journal-title":"Journal of Automated Reasoning"},{"doi-asserted-by":"crossref","unstructured":"R. M. Smullyan. First Order Logic. Springer, 1968.","key":"3_CR16","DOI":"10.1007\/978-3-642-86718-7"},{"unstructured":"M. Winslett. Reasoning about Action with a Possible Models Approach. In Proceedings of the 8th National Conference on Artificial Intelligence, pages 89\u201393, 1988.","key":"3_CR17"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T00:54:09Z","timestamp":1556931249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45758-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432203","9783540457589"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45758-5_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}