C. Alchourrón, P. Gärdenfors, and D. Makinson, On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, J. of Symbolic Logic, vol.62, pp.510-530, 1985.
DOI : 10.1007/978-3-319-20451-2_13

P. Balbiani, A. Herzig, and N. Troquard, Dynamic logic of propositional assignments: a wellbehaved variant of PDL, Logic in Computer Science (LICS), 2013.
URL : https://hal.archives-ouvertes.fr/hal-01240721

T. Eiter, M. Fink, G. Sabbatini, and H. Tompits, Using methods of declarative logic programming for intelligent information agents, Theory and Practice of Logic Programming, vol.2, issue.06, pp.645-709, 2002.
DOI : 10.1017/S1471068402001576

L. Fariñas-del-cerro and A. Herzig, Contingency-Based Equilibrium Logic, LPNMR 2011, pp.223-228, 2011.
DOI : 10.1007/978-3-642-20895-9_23

L. Fariñas-del-cerro and A. Herzig, The Modal Logic of Equilibrium Models, FroCoS 2011, pp.135-146, 2011.
DOI : 10.1007/10722086_28

G. Fischer-servi, On modal logic with an intuitionistic base, Studia Logica, vol.31, issue.No. 2, pp.141-149, 1976.
DOI : 10.1007/BF02121259

M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub, Conflict-driven answer set solving, IJCAI, pp.386-392, 2007.
DOI : 10.1007/978-3-540-72200-7_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.3156

M. Gebser, M. Ostrowski, and T. Schaub, Constraint Answer Set Solving, ICLP 2009, pp.235-249, 2009.
DOI : 10.1007/s10472-007-9076-z
URL : https://hal.archives-ouvertes.fr/hal-01186996

A. Herzig, E. Lorini, F. Moisan, N. W. Troquard, D. Walther et al., A dynamic logic of normative systems On the logic of cooperation and the transfer of control, International Joint Conference on Artificial Intelligence (IJCAI), pp.228-233, 2010.

W. Van-der-hoek and M. Wooldridge, On the dynamics of delegation, cooperation, and control, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, 2005.
DOI : 10.1145/1082473.1082580

W. Van-der-hoek and M. Wooldridge, On the logic of cooperation and propositional control, Artificial Intelligence, vol.164, issue.1-2, pp.81-119, 2005.
DOI : 10.1016/j.artint.2005.01.003

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

V. Lifschitz, D. Pearce, and A. Valverde, Strongly equivalent logic programs, ACM Transactions on Computational Logic, vol.2, issue.4, pp.526-541, 2001.
DOI : 10.1145/383779.383783

M. Slota and J. Leite, Robust equivalence models for semantic updates of answer-set programs, 2012.

M. Slota and J. Leite, A Unifying Perspective on Knowledge Updates, JELIA 2012, pp.372-384, 2012.
DOI : 10.1145/1149114.1149115

Y. Zhang and N. Y. Foo, A unified framework for representing logic program updates, pp.707-713, 2005.