C. E. Alchourrón and D. Makinson, On the logic of theory change : Safe contraction. Stud, Log, vol.44, issue.4, pp.14-37, 1985.

J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski, Dynamic updates of non-monotonic knowledge bases, The Journal of Logic Programming, vol.45, issue.1-3, pp.1-3, 2000.
DOI : 10.1016/S0743-1066(99)00065-5

C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, 2003.
DOI : 10.1017/CBO9780511543357

S. Benferhat, J. Bennaim, O. Papini, and E. Würbel, An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS, Applied Intelligence, vol.41, issue.1???2, pp.60-87, 2010.
DOI : 10.1007/s10489-008-0135-x
URL : https://hal.archives-ouvertes.fr/hal-00869357

S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade, Inconsistency management and prioritized syntax-based entailment, Proc. of IJCAI'93, pp.640-645, 1993.

J. P. Delgrande, P. Peppas, and S. Woltran, AGM-Style Belief Revision of Logic Programs under Answer Set Semantics, Proc. of LPNMR'13, pp.264-276, 2013.
DOI : 10.1007/978-3-642-40564-8_27

J. P. Delgrande, T. Schaub, H. Tompits, and S. Woltran, AGM-Style Belief Revision of Logic Programs under Answer Set Semantics, Proc. of KR'08, pp.411-421, 2008.
DOI : 10.1007/978-3-642-40564-8_27
URL : http://www.cs.sfu.ca/%7Ejim/publications/LPNMR13.pdf

J. P. Delgrande, T. Schaub, H. Tompits, and S. Woltran, Merging Logic Programs under Answer Set Semantics, Proc. of ICLP'09, pp.160-174, 2009.
DOI : 10.1007/978-94-009-2865-7_6
URL : http://www.cs.uni-potsdam.de/wv/pdfformat/desctowo09a.pdf

J. P. Delgrande, T. Schaub, H. Tompits, and S. Woltran, A Model-Theoretic Approach to Belief Change in Answer Set Programming, ACM Transactions on Computational Logic, vol.14, issue.2, pp.1-1446, 2013.
DOI : 10.1145/2480759.2480766

T. Eiter, M. Fink, G. Sabbatini, and H. Tompits, On properties of update sequences based on causal rejection, Theory and Practice of Logic Programming, vol.2, issue.06, pp.711-767, 2002.
DOI : 10.1017/S1471068401001247

M. Gebser, B. Kaufmann, and T. Schaub, Conflict-driven answer set solving: From theory to practice, Artificial Intelligence, vol.187, issue.188, pp.52-89, 2012.
DOI : 10.1016/j.artint.2012.04.001
URL : https://doi.org/10.1016/j.artint.2012.04.001

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, Proc. of ICLP'88, pp.1070-1080, 1988.

S. O. Hansson, Semi-revision, Journal of Applied Non-Classical Logics, vol.1995, issue.1-2, pp.151-175, 1997.
DOI : 10.1007/BF00431184

S. O. Hansson, A text of belief dynamics theory change and database updating, 1999.

J. Hué, O. Papini, and E. Würbel, Removed sets fusion: Performing off the shelf, Proc. of ECAI'08, pp.94-98, 2008.

J. Hué, O. Papini, and E. Würbel, Merging belief bases represented by logic programs, Proc. of ECSQARU'09, pp.371-382, 2009.

J. Hué, O. Papini, and E. Würbel, Extending belief base change to logic programs with asp. In: Trends in Belief Revision and Argumentation Dynamics, 2013.

H. Katsuno and A. O. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, issue.3, pp.263-294, 1991.
DOI : 10.1016/0004-3702(91)90069-V

P. Krümpelmann and G. Kern-isberner, Belief Base Change Operations for Answer Set Programming, Proc. of JELIA'12, pp.294-306, 2012.
DOI : 10.1007/3-540-48238-5_8

D. Lehmann, Belief revision, revised, Proc. of IJCAI'95, pp.1534-1540, 1995.

N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob et al., The DLV system for knowledge representation and reasoning, ACM Transactions on Computational Logic, vol.7, issue.3, pp.499-562, 2006.
DOI : 10.1145/1149114.1149117
URL : http://www.mat.unical.it/leone/ai/materiale/files/TOCL - dlv.pdf

I. Niemelä, Logic programs with stable model semantics as a constraint programming paradigm, AMAI, vol.2534, pp.241-273, 1999.

O. Papini, A complete revision function in propositionnal calculus, Proc. of ECAI'92, pp.339-343, 1992.

R. Reiter, A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980.
DOI : 10.1016/0004-3702(80)90014-4
URL : http://www.umiacs.umd.edu/%7Ehorty/courses/readings/reiter-default-1980.pdf

C. Sakama and K. Inoue, Updating Extended Logic Programs through Abduction, Proc. of LPNMR'99, pp.147-161, 1999.
DOI : 10.1007/3-540-46767-X_11
URL : http://www.sys.wakayama-u.ac.jp/~sakama/papers/lpnmr99.ps.gz

T. Schaub, Here???s the Beef: Answer Set Programming !, Proc. of ICLP'08, pp.93-98, 2008.
DOI : 10.1007/978-3-540-78969-7_4

M. Slota and J. Leite, On semantic update operators for answer-set programs, Proc. of ECAI'10, pp.957-962, 2010.

M. Slota and J. Leite, Abstract, Theory and Practice of Logic Programming, vol.10, issue.06, pp.869-907, 2014.
DOI : 10.1007/978-3-540-72200-7

H. Turner, Strong equivalence made easy: nested expressions and weight constraints, Theory and Practice of Logic Programming, vol.3, issue.4+5, pp.609-622, 2003.
DOI : 10.1017/S1471068403001819

E. Würbel, R. Jeansoulin, and O. Papini, Revision : An application in the framework of GIS, Proc. of KR'00, pp.505-518, 2000.

Y. Zhang and N. Y. Foo, Updating logic programs, Proc. of ECAI'98, pp.403-407, 1998.

Z. Zhuang, J. P. Delgrande, A. C. Nayak, and A. Sattar, A new approach for revising logic programs, Proc. of NMR'16, pp.171-176, 2016.

Z. Zhuang, J. P. Delgrande, A. C. Nayak, and A. Sattar, Reconsidering agm-style belief revision in the context of logic programs, Proc. of ECAI'16, pp.671-679, 2016.