{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:17:14Z","timestamp":1743052634606,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031113208"},{"type":"electronic","value":"9783031113215"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-11321-5_5","type":"book-chapter","created":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T20:13:18Z","timestamp":1657397598000},"page":"75-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Database Repair via\u00a0Event-Condition-Action Rules in\u00a0Dynamic Logic"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Feuillade","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[]},{"given":"Christos","family":"Rantsoudis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,7,10]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11853886_5","volume-title":"Logics in Artificial Intelligence","author":"JJ Alferes","year":"2006","unstructured":"Alferes, J.J., Banti, F., Brogi, A.: An event-condition-action logic programming language. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 29\u201342. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11853886_5"},{"key":"5_CR2","unstructured":"Balbiani, P., Herzig, A., Schwarzentruber, F., Troquard, N.: DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR abs\/1411.7825 (2014). http:\/\/arxiv.org\/abs\/1411.7825"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, 25\u201328 June 2013, pp. 143\u2013152. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/LICS.2013.20","DOI":"10.1109\/LICS.2013.20"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bertossi, L.E.: Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management. Morgan & Claypool Publishers (2011). https:\/\/doi.org\/10.2200\/S00379ED1V01Y201108DTM020","DOI":"10.1007\/978-3-031-01883-1"},{"key":"5_CR5","unstructured":"Bertossi, L.E., Pinto, J.: Specifying active rules for database maintenance. In: Saake, G., Schwarz, K., T\u00fcrker, C. (eds.) Transactions and Database Dynamics, Proceedings of the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schlo\u00df Dagstuhl, Germany, 27\u201330 September 1999, vol. Preprint Nr. 19, pp. 65\u201381. Fakult\u00e4t f\u00fcr Informatik, Otto-von-Guericke-Universit\u00e4t Magdeburg (1999)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-62222-5_44","volume-title":"Database Theory \u2014 ICDT \u201997","author":"N Bidoit","year":"1997","unstructured":"Bidoit, N., Maabout, S.: A model theoretic approach to update rule programs. In: Afrati, F., Kolaitis, P. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 173\u2013187. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-62222-5_44"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.artint.2017.11.003","volume":"255","author":"B Bogaerts","year":"2018","unstructured":"Bogaerts, B., Cruz-Filipe, L.: Fixpoint semantics for active integrity constraints. Artif. Intell. 255, 43\u201370 (2018)","journal-title":"Artif. Intell."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Calautti, M., Caroprese, L., Greco, S., Molinaro, C., Trubitsyna, I., Zumpano, E.: Consistent query answering with prioritized active integrity constraints. In: Desai, B.C., Cho, W. (eds.) IDEAS 2020: 24th International Database Engineering and Applications Symposium, Seoul, Republic of Korea, 12\u201314 August 2020, pp. 3:1\u20133:10. ACM (2020). https:\/\/dl.acm.org\/doi\/10.1145\/3410566.3410592","DOI":"10.1145\/3410566.3410592"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"114297","DOI":"10.1016\/j.eswa.2020.114297","volume":"168","author":"M Calautti","year":"2021","unstructured":"Calautti, M., Caroprese, L., Greco, S., Molinaro, C., Trubitsyna, I., Zumpano, E.: Existential active integrity constraints. Expert Syst. Appl. 168, 114297 (2021)","journal-title":"Expert Syst. Appl."},{"key":"5_CR10","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. 4079, pp. 26\u201340. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11799573_5"},{"issue":"7","key":"5_CR11","doi-asserted-by":"publisher","first-page":"1042","DOI":"10.1109\/TKDE.2008.226","volume":"21","author":"L Caroprese","year":"2009","unstructured":"Caroprese, L., Greco, S., Zumpano, E.: Active integrity constraints for database consistency maintenance. IEEE Trans. Knowl. Data Eng. 21(7), 1042\u20131058 (2009). https:\/\/doi.org\/10.1109\/TKDE.2008.226","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"6","key":"5_CR12","first-page":"905","volume":"11","author":"L Caroprese","year":"2011","unstructured":"Caroprese, L., Truszczynski, M.: Active integrity constraints and revision programming. TPLP 11(6), 905\u2013952 (2011)","journal-title":"TPLP"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic generation of production rules for integrity maintenance. ACM Trans. Database Syst. 19(3), 367\u2013422 (1994). http:\/\/doi.acm.org\/10.1145\/185827.185828","DOI":"10.1145\/185827.185828"},{"issue":"1","key":"5_CR14","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. 15(1), 244\u2013249 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1\u20132","key":"5_CR15","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.ic.2004.04.007","volume":"197","author":"J Chomicki","year":"2005","unstructured":"Chomicki, J., Marcinkowski, J.: Minimal-change integrity maintenance using tuple deletions. Inf. Comput. 197(1\u20132), 90\u2013121 (2005). https:\/\/doi.org\/10.1016\/j.ic.2004.04.007","journal-title":"Inf. Comput."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-319-04939-7_18","volume-title":"Foundations of Information and Knowledge Systems","author":"L Cruz-Filipe","year":"2014","unstructured":"Cruz-Filipe, L.: Optimizing computation of repairs from active integrity constraints. In: Beierle, C., Meghini, C. (eds.) FoIKS 2014. LNCS, vol. 8367, pp. 361\u2013380. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-04939-7_18"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Gaspar, G., Engr\u00e1cia, P., Nunes, I.: Computing repairs from active integrity constraints. In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1\u20133 July 2013, Birmingham, UK, pp. 183\u2013190. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/TASE.2013.32","DOI":"10.1109\/TASE.2013.32"},{"issue":"3\u20134","key":"5_CR18","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10472-018-9577-y","volume":"83","author":"L Cruz-Filipe","year":"2018","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I., Schneider-Kamp, P.: Active integrity constraints for general-purpose knowledge bases. Ann. Math. Artif. Intell. 83(3\u20134), 213\u2013246 (2018)","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Flesca, S., Greco, S.: Declarative semantics for active rules. Theory Pract. Log. Program. 1(1), 43\u201369 (2001). http:\/\/journals.cambridge.org\/action\/displayAbstract?aid=71136","DOI":"10.1017\/S1471068400001009"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: Moggi, E., Warren, D.S. (eds.) Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24\u201326 August 2004, Verona, Italy, pp. 98\u2013107. ACM (2004). http:\/\/doi.acm.org\/10.1145\/1013963.1013977","DOI":"10.1145\/1013963.1013977"},{"key":"5_CR21","unstructured":"Herzig, A.: Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments. In: Baral, C., Giacomo, G.D., Eiter, T. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, 20\u201324 July 2014. AAAI Press (2014). http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7960"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Lausen, G., Lud\u00e4scher, B., May, W.: On logical foundations of active databases. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995), pp. 389\u2013422. Kluwer (1998)","DOI":"10.1007\/978-1-4615-5643-5_12"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BFb0031742","volume-title":"Logic in Databases","author":"B Lud\u00e4scher","year":"1996","unstructured":"Lud\u00e4scher, B., May, W., Lausen, G.: Nested transactions in a logical language for active rules. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 197\u2013222. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0031742"},{"key":"5_CR24","volume-title":"Active Database Systems: Triggers and Rules for Advanced Database Processing","author":"J Widom","year":"1996","unstructured":"Widom, J., Ceri, S.: Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, Burlington (1996)"},{"key":"5_CR25","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In: Shrobe, H.E., Mitchell, T.M., Smith, R.G. (eds.) Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, USA, 21\u201326 August 1988, pp. 89\u201393. AAAI Press\/The MIT Press (1988). http:\/\/www.aaai.org\/Library\/AAAI\/1988\/aaai88-016.php"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Winslett, M.A.: Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)","DOI":"10.1017\/CBO9780511663109"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-11321-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,22]],"date-time":"2022-07-22T23:04:02Z","timestamp":1658531042000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-11321-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031113208","9783031113215"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-11321-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 July 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoIKS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations of Information and Knowledge Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Helsinki","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Finland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"foiks2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/foiks2022.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"62% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.9","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}