{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:17:08Z","timestamp":1743142628255,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_34","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"486-499","source":"Crossref","is-referenced-by-count":0,"title":["A Dynamic View of Active Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Feuillade","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: Kupferman, O. (ed.) Logic in Computer Science (LICS). IEEE (2013)","DOI":"10.1109\/LICS.2013.20"},{"key":"34_CR2","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.\u00a08367, pp. 361\u2013380. Springer, Heidelberg (2014)"},{"issue":"7","key":"34_CR3","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.\u00a021(7), 1042\u20131058 (2009)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-89982-2_28","volume-title":"Logic Programming","author":"L. Caroprese","year":"2008","unstructured":"Caroprese, L., Truszczy\u0144ski, M.: Declarative semantics for active integrity constraints. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 269\u2013283. Springer, Heidelberg (2008)"},{"issue":"6","key":"34_CR5","first-page":"905","volume":"11","author":"L. Caroprese","year":"2011","unstructured":"Caroprese, L., Truszczynski, M.: Active integrity constraints and revision programming. TPLP\u00a011(6), 905\u2013952 (2011)","journal-title":"TPLP"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-540-74610-2_31","volume-title":"Logic Programming","author":"L. Caroprese","year":"2007","unstructured":"Caroprese, L., Trubitsyna, I., Zumpano, E.: View updating through active integrity constraints. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 430\u2013431. Springer, Heidelberg (2007)"},{"key":"34_CR7","unstructured":"Doutre, S., Herzig, A., Perrussel, L.: A dynamic logic framework for abstract argumentation. In: International Conference on Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria, pp. 143\u2013152. AAAI Press (2014)"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: Moggi, E., Warren, D.S. (eds.) PPDP, pp. 98\u2013107. ACM (2004)","DOI":"10.1145\/1013963.1013977"},{"key":"34_CR9","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D.M., G\u00fcnthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 497\u2013604. D. Reidel, Dordrecht (1984)"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Herzig, A.: Belief change operations: A short history of nearly everything, told in dynamic logic of propositional assignments. In: Baral, C., De Giacomo, G. (eds.) Proc. KR 2014. AAAI Press (2014)","DOI":"10.1007\/978-3-319-04939-7_19"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"34_CR12","unstructured":"Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Walsh, T. (ed.) International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, pp. 228\u2013233. IJCAI\/AAAI (2011)"},{"key":"34_CR13","unstructured":"Herzig, A., Menezes, V., De Barros, L.N., Wassermann, R.: On the revision of planning tasks. In: Schaub, T. (ed.) European Conference on Artificial Intelligence (ECAI) (August 2014)"},{"key":"#cr-split#-34_CR14.1","doi-asserted-by":"crossref","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 183-203. Cambridge University Press (1992)","DOI":"10.1017\/CBO9780511526664.007"},{"key":"#cr-split#-34_CR14.2","unstructured":"preliminary version in Allen, J.A., Fikes, R., Sandewall, E. (eds.): Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf., pp. 387-394. Morgan Kaufmann Publishers (1991)"},{"key":"34_CR15","first-page":"95","volume-title":"ECAI","author":"P. Peppas","year":"1996","unstructured":"Peppas, P., Nayak, A.C., Pagnucco, M., Foo, N.Y., Kwok, R.B.H., Prokopenko, M.: Revision vs. update: Taking a closer look. In: Wahlster, W. (ed.) ECAI, pp. 95\u201399. John Wiley and Sons, Chichester (1996)"},{"key":"34_CR16","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0304-3975(85)90031-3","volume":"36","author":"M.L. Tiomkin","year":"1985","unstructured":"Tiomkin, M.L., Makowsky, J.A.: Propositional dynamic logic with local assignments. Theor. Comput. Sci.\u00a036, 71\u201387 (1985)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"34_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1023\/A:1026792711025","volume":"66","author":"J. van Eijck","year":"2000","unstructured":"van Eijck, J.: Making things happen. Studia Logica\u00a066(1), 41\u201358 (2000)","journal-title":"Studia Logica"},{"key":"#cr-split#-34_CR18.1","doi-asserted-by":"crossref","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 183-203. Cambridge University Press (1992)","DOI":"10.1017\/CBO9780511526664.007"},{"key":"#cr-split#-34_CR18.2","unstructured":"Reasoning about action using a possible models approach. In: Proc. 7th Conf. on Artificial Intelligence (AAAI 1988), St. Paul, pp. 89-93 (1988)"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Winslett, M.-A.: Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1990)","DOI":"10.1017\/CBO9780511663109"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:08:53Z","timestamp":1676891333000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}