E. Fermé and S. Hansson, AGM 25 Years, Journal of Philosophical Logic, vol.174, issue.2, pp.295-331, 2011.
DOI : 10.1007/s10992-011-9171-9

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, issue.2, pp.510-530, 1985.
DOI : 10.1007/978-3-319-20451-2_13

H. Katsuno and A. Mendelzon, On the difference between updating a knowledge base and revising it, Proc. of KR 1991, pp.387-394, 1991.
DOI : 10.1017/CBO9780511526664.007

P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, 1988.

S. O. Hansson, A Textbook of Belief Dynamics. Theory Change and Database Updating, 1999.

S. Konieczny and R. Pino-pérez, On the logic of merging, Proc. of KR, pp.488-498, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00456085

S. Konieczny and ´. E. Grégoire, Logic-based information fusion in artificial intelligence, Information Fusion, vol.7, issue.1, pp.4-18, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00448787

J. Doyle, A truth maintenance system, Artificial Intelligence, vol.12, issue.3, pp.231-272, 1979.
DOI : 10.1016/0004-3702(79)90008-0

M. Dalal, Investigations into a theory of knowledge base revision (preliminary report), Proc. of AAAI 1988, pp.475-479, 1988.

P. Z. Revesz, On the semantics of theory change, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '93, pp.71-82, 1993.
DOI : 10.1145/153850.153857

V. S. Subrahmanian, Amalgamating knowledge bases, ACM Transactions on Database Systems, vol.19, issue.2, pp.291-331, 1994.
DOI : 10.1145/176567.176571

R. Fagin, J. D. Ullman, and M. Y. Vardi, On the semantics of updates in databases, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems , PODS '83, pp.352-365, 1983.
DOI : 10.1145/588058.588100

P. Besnard, ´. E. Grégoire, and S. Ramon, Logic-based fusion of legal knowledge
URL : https://hal.archives-ouvertes.fr/hal-00866521

P. Besnard, ´. E. Grégoire, and S. Ramon, Enforcing Logically Weaker Knowledge in Classical Logic, KSEM 2011, pp.44-55, 2011.
DOI : 10.1007/978-3-642-25975-3_5
URL : https://hal.archives-ouvertes.fr/hal-00871098

P. Besnard, ´. E. Grégoire, and S. Ramon, Preemption operators, Proc. of ECAI 2012, pp.893-894, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00867922

P. Besnard, ´. E. Grégoire, and S. Ramon, Overriding subsuming rules
URL : https://hal.archives-ouvertes.fr/hal-00868324

Z. Q. Zhuang, M. Pagnucco, and T. Meyer, Implementing Iterated Belief Change Via Prime Implicates, AI 2007, pp.507-518, 2007.
DOI : 10.1007/978-3-540-76928-6_52

M. Bienvenu, A. Herzig, and G. Qi, Prime implicate-based belief revision operators, 20th European Conference on Artificial Intelligence, pp.741-742, 2008.

A. Darwiche and P. Marquis, A knowledge compilation map, J. Artif. Intell. Res. (JAIR), vol.17, pp.229-264, 2002.

T. Eiter and K. Makino, Generating All Abductive Explanations for Queries on Propositional Horn Theories, CSL 2003, pp.197-211, 2003.
DOI : 10.1007/978-3-540-45220-1_18