{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:13Z","timestamp":1725511993524},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540717027"},{"type":"electronic","value":"9783540717034"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71703-4_40","type":"book-chapter","created":{"date-parts":[[2007,8,2]],"date-time":"2007-08-02T00:31:22Z","timestamp":1186014682000},"page":"459-471","source":"Crossref","is-referenced-by-count":3,"title":["Prioritized Active Integrity Constraints for Database Maintenance"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Caroprese","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Molinaro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1994","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1994)"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query Answers in inconsistent databases. In: PODS, pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Specifying and Querying Database repairs using Logic Programs with Exceptions. In: FQAS, pp. 27\u201341 (2000)","DOI":"10.1007\/978-3-7908-1834-5_3"},{"issue":"4-5","key":"40_CR4","first-page":"393","volume":"3","author":"M. Arenas","year":"2003","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. TPLP\u00a03(4-5), 393\u2013424 (2003)","journal-title":"TPLP"},{"key":"40_CR5","unstructured":"Brewka, G., Niemela, I., Truszczynski, M.: Answer Set Optimization. In: IJCAI, pp. 867\u2013872 (2003)"},{"key":"40_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11799573_5","volume-title":"Logic Programming","author":"L. Caroprese","year":"2006","unstructured":"Caroprese, L., Greco, S., Sirangelo, C., Zumpano, E.: Declarative Semantics of Production Rules for Integrity Maintenance. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 26\u201340. Springer, Heidelberg (2006)"},{"issue":"4","key":"40_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/958942.958946","volume":"28","author":"J. Chomicki","year":"2003","unstructured":"Chomicki, J.: Preference Formulas in Relational Queries. ACM TODS\u00a028(4), 1\u201340 (2003)","journal-title":"ACM TODS"},{"issue":"1","key":"40_CR8","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1109\/TKDE.2003.1161596","volume":"15","author":"J. Chomicki","year":"2003","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.A.: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng.\u00a015(1), 244\u2013249 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Staworko, S., Marcinkowski, J.: Preference-Driven Querying of Inconsistent Relational Databases. In: Proc. International Workshop on Inconsistency and Incompleteness in Databases (2006)","DOI":"10.1007\/11896548_26"},{"issue":"2","key":"40_CR10","first-page":"129","volume":"3","author":"J.P. Delgrande","year":"2003","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: A Framework for Compiling Preferences in Logic Programs. TPLP\u00a03(2), 129\u2013187 (2003)","journal-title":"TPLP"},{"issue":"3","key":"40_CR11","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. TODS\u00a022(3), 364\u2013418 (1997)","journal-title":"TODS"},{"key":"40_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/BFb0054795","volume-title":"Logic Programming and Knowledge Representation","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Son, T.C.: Reasoning with Prioritized Defaults. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471, pp. 164\u2013223. Springer, Heidelberg (1998)"},{"key":"40_CR13","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP (1988)"},{"key":"40_CR14","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. In: NGC, vol.\u00a09, pp. 365\u2013385 (1991)","DOI":"10.1007\/BF03037169"},{"issue":"1","key":"40_CR15","first-page":"177","volume":"7","author":"J. Grant","year":"1995","unstructured":"Grant, J., Subrahmanian, V.S.: Reasoning in Inconsistent Knowledge Bases. TKDE\u00a07(1), 177\u2013189 (1995)","journal-title":"TKDE"},{"key":"40_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/3-540-44404-1_20","volume-title":"Logic for Programming and Automated Reasoning","author":"S. Greco","year":"2000","unstructured":"Greco, S., Zumpano, E.: Querying Inconsistent Databases. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 308\u2013325. Springer, Heidelberg (2000)"},{"issue":"6","key":"40_CR17","first-page":"1389","volume":"15","author":"G. Greco","year":"2003","unstructured":"Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE TKDE\u00a015(6), 1389\u20131408 (2003)","journal-title":"IEEE TKDE"},{"issue":"1","key":"40_CR18","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1142\/S0218843098000040","volume":"7","author":"J. Lin","year":"1998","unstructured":"Lin, J., Mendelzon, A.O.: Merging Databases Under Constraints. Int. J. Cooperative Inf. Syst.\u00a07(1), 55\u201376 (1998)","journal-title":"Int. J. Cooperative Inf. Syst."},{"issue":"2","key":"40_CR19","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., Truszczynski, M.: Revision Programming. Theoretical Computer Science\u00a0190(2), 241\u2013277 (1998)","journal-title":"Theoretical Computer Science"},{"key":"40_CR20","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C. Sakama","year":"2000","unstructured":"Sakama, C., Inoue, K.: Priorized logic programming and its application to commonsense reasoning. Artificial Intelligence\u00a0123, 185\u2013222 (2000)","journal-title":"Artificial Intelligence"},{"key":"40_CR21","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.K. Ullman","year":"1988","unstructured":"Ullman, J.K.: Principles of Database and Knowledge-Base Systems, vol.\u00a01. Computer Science Press, Rockville (1988)"},{"key":"40_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/3-540-36285-1_25","volume-title":"Database Theory - ICDT 2003","author":"J. Wijsen","year":"2002","unstructured":"Wijsen, J.: Condensed Representation of Database Repairs for Consistent Query Answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 375\u2013390. Springer, Heidelberg (2002)"},{"key":"40_CR23","unstructured":"Zhang, Y., Foo, N.: Answer sets for prioritized logic programs. In: ILPS, pp. 69\u201383 (1997)"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases: Concepts, Systems and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71703-4_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:54:40Z","timestamp":1619517280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71703-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540717027","9783540717034"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71703-4_40","relation":{},"subject":[]}}