A. S. Updates, A New Frontier, ICDT'88, 2nd International Conference on Database Theory, vol.326, pp.1-18, 1988.

S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca, Automatic Generation of Production Rules for Integrity Maintenance, ACM Trans. Database Syst, vol.19, issue.3, pp.367-422, 1994.

L. E. Bertossi, Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, 2011.

M. Winslett, Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science, 1990.

A. Herzig and O. Rifi, Propositional Belief Base Update and Minimal Change, Artif. Intell, vol.115, issue.1, pp.107-138, 1999.

J. Chomicki and J. Marcinkowski, Minimal-change integrity maintenance using tuple deletions, Inf. Comput, vol.197, issue.1-2, pp.90-121, 2005.

S. Flesca, S. Greco, and E. Zumpano, Active integrity constraints, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp.98-107, 2004.

L. Caroprese, S. Greco, and E. Zumpano, Active Integrity Constraints for Database Consistency Maintenance, IEEE Trans. Knowl. Data Eng, vol.21, issue.7, pp.1042-1058, 2009.

L. Caroprese and M. Truszczynski, Active integrity constraints and revision programming, TPLP, vol.11, issue.6, pp.905-952, 2011.

L. Cruz-filipe, Optimizing Computation of Repairs from Active Integrity Constraints, Foundations of Information and Knowledge Systems -8th International Symposium, vol.8367, pp.361-380, 2014.

B. Bogaerts and L. Cruz-filipe, Fixpoint semantics for active integrity constraints, Artif. Intell, vol.255, pp.43-70, 2018.

A. Herzig, E. Lorini, F. Moisan, and N. Troquard, A Dynamic Logic of Normative Systems, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.228-233, 2011.

P. Balbiani, A. Herzig, and N. Troquard, Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp.143-152, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01240721

P. Balbiani, A. Herzig, F. Schwarzentruber, N. Troquard, and D. Dl-pa, model checking and satisfiability problem are indeed in PSPACE

D. D. Harel and . Logic, Handbook of Philosophical Logic, vol.II, pp.497-604, 1984.

D. Harel, D. Kozen, and J. Tiuryn, Dynamic Logic, 2000.

G. Feuillade and A. Herzig, A Dynamic View of Active Integrity Constraints, Logics in Artificial Intelligence -14th European Conference, vol.8761, pp.486-499, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01159678

M. L. Tiomkin and J. A. Makowsky, Propositional Dynamic Logic with Local Assignments. Theor. Comput. Sci, vol.36, pp.71-87, 1985.

J. Van-eijck, Making Things Happen, Studia Logica, vol.66, issue.1, pp.41-58, 2000.

A. Herzig, Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.

S. Doutre, A. Herzig, and L. Perrussel, A Dynamic Logic Framework for Abstract Argumentation, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01787378

A. Herzig, M. V. De-menezes, L. N. De-barros, and R. Wassermann, On the revision of planning tasks, ECAI 2014 -21st European Conference on Artificial Intelligence, vol.263, pp.435-440, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01399881

A. Herzig, E. Lorini, F. Maffre, and F. Schwarzentruber, Epistemic Boolean Games Based on a Logic of Visibility and Control, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pp.1116-1122, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01530163

M. C. Cooper, A. Herzig, F. Maffre, F. Maris, P. Régnier et al., A Simple Account of Multi-Agent Epistemic Planning, -Including Prestigious Applications of Artificial Intelligence (PAIS 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, vol.29, pp.193-201, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01500521

T. Charrier and F. Schwarzentruber, Succinct Language for Dynamic Epistemic Logic, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, vol.2017, pp.123-131, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01487001

H. Katsuno and A. O. Mendelzon, On the difference between updating a knowledge base and revising it, Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf, pp.387-394, 1991.

P. Peppas, A. C. Nayak, M. Pagnucco, N. Y. Foo, R. Kwok et al., Update: Taking a Closer Look, 12th European Conference on Artificial Intelligence, pp.95-99, 1996.

M. Winslett, Reasoning about Action Using a Possible Models Approach, Proceedings of the 7th National Conference on Artificial Intelligence, pp.89-93, 1988.

L. J. Stockmeyer, A. R. Meyer, A. V. Aho, A. Borodin, R. L. Constable et al., Word Problems Requiring Exponential Time: Preliminary Report, Proceedings of the 5th Annual ACM Symposium on Theory of Computing, pp.1-9, 1973.