C. E. Alchourrón, P. Makinson, and D. , Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331

E. Amir and S. J. Russell, Logical filtering, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'03, pp.75-82, 2003.

C. Baral and M. Gelfond, Logic Programming and Reasoning about Actions, pp.389-428, 2005.

C. Baral and Y. Zhang, Knowledge updates: Semantics and complexity issues, Artificial Intelligence, vol.164, issue.1-2, pp.1-2, 2005.
DOI : 10.1016/j.artint.2005.01.005
URL : http://doi.org/10.1016/j.artint.2005.01.005

C. Baral, M. Gelfond, and A. Provetti, Representing actions: Laws, observations and hypotheses, The Journal of Logic Programming, vol.31, issue.1-3, pp.1-3, 1997.
DOI : 10.1016/S0743-1066(96)00141-0

M. Bienvenu, H. Fargier, M. , and P. , Knowledge compilation in the modal logic S5, Proceedings of the National Conference on Artificial Intelligence (AAAI'10, pp.261-266, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00624482

M. Bienvenu, A. Herzig, and G. Qi, Prime implicate-based belief revision operators, Proceedings of the European Conference on Artificial Intelligence (ECAI'08, pp.741-742, 2008.

C. Boutilier, A unified model of qualitative belief change: a dynamical systems perspective, Artificial Intelligence, vol.98, issue.1-2, pp.1-2, 1998.
DOI : 10.1016/S0004-3702(97)00066-0

G. Brewka and J. Hertzberg, How to Do Things with Worlds: on Formalizing Actions and Plans, Journal of Logic and Computation, vol.3, issue.5, pp.517-532, 1993.
DOI : 10.1093/logcom/3.5.517

M. Cadoli, F. Donini, P. Liberatore, and M. Schaerf, The size of a revised knowledge base, Artificial Intelligence, vol.115, issue.1, pp.25-64, 1999.
DOI : 10.1016/S0004-3702(99)00074-0

A. Darwiche, Decomposable negation normal form, Journal of the ACM, vol.48, issue.4, pp.608-647, 2001.
DOI : 10.1145/502090.502091

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

G. De-giacomo, M. Lenzerini, A. Poggi, R. , and R. , On Instance-level Update and Erasure in Description Logic Ontologies, Proceedings of the National Conference on Artificial Intelligence (AAAI'06), 2006.
DOI : 10.1093/logcom/exn051

G. De-giacomo, M. Lenzerini, A. Poggi, R. , and R. , On the approximation of instance level update and erasure in description logics, Proceedings of the National Conference on Artificial Intelligence (AAAI'07, pp.403-408, 2007.

J. Delgrande, A. Nayak, and M. Pagnucco, Gricean Belief Change, Studia Logica, vol.97, issue.1, pp.97-113, 2005.
DOI : 10.1007/s11225-005-0496-7

J. Delgrande, Y. Jin, and J. Pelletier, Compositional belief update, J. Artif. Intell. Res, vol.32, pp.757-791, 2008.

P. Doherty, W. ?ukasziewicz, M. Nska-bugaj, and E. , The PMA and relativizing change for action update, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'98, pp.258-269, 1998.

P. Doherty, W. ?ukasziewicz, M. Nska-bugaj, and E. , The PMA and relativizing change for action update, Fundamenta Informaticae, vol.44, pp.1-2, 2000.

F. Dupin-de-saint-cyr and J. Lang, Belief extrapolation (or how to reason about observations and unpredicted change), Artificial Intelligence, vol.175, issue.2, pp.760-790, 2011.
DOI : 10.1016/j.artint.2010.11.002

T. Eiter and G. Gottlob, On the complexity of propositional knowledge base revision, updates, and counterfactuals, Artif. Intell, vol.57, pp.2-3, 1992.

T. Eiter, E. Erdem, M. Fink, and J. Senko, Updating action domain descriptions, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'05, pp.418-423, 2005.
DOI : 10.1016/j.artint.2010.07.004
URL : http://doi.org/10.1016/j.artint.2010.07.004

T. Eiter, E. Erdem, M. Fink, and J. Senko, Updating action domain descriptions, Artificial Intelligence, vol.174, issue.15, pp.1172-1221, 2010.
DOI : 10.1016/j.artint.2010.07.004
URL : http://doi.org/10.1016/j.artint.2010.07.004

K. D. Forbus, Introducing actions into qualitative simulation, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'89, pp.1273-1278, 1989.

K. Georgatos, Belief update using graphs, Proceedings of the International Florida Artificial Intelligence Research Society Conference (FLAIRS'08, pp.649-654, 2008.

E. Giunchiglia and V. Lifschitz, An action language based on causal explanation: Preliminary report, Proceedings of the National Conference on Artificial Intelligence (AAAI'98, pp.623-630, 1998.

E. Giunchiglia, J. Lee, V. Lifschitz, N. Mccain, T. et al., Nonmonotonic causal theories, Artificial Intelligence, vol.153, issue.1-2, pp.1-2, 2004.
DOI : 10.1016/j.artint.2002.12.001
URL : http://doi.org/10.1016/j.artint.2002.12.001

A. Herzig, The PMA revisited, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'96, pp.40-50, 1996.

A. Herzig and O. Rifi, Update operations: A review, Proceedings of the European Conference on Artificial Intelligence (ECAI'98, pp.13-17, 1998.

A. Herzig and O. Rifi, Propositional belief base update and minimal change, Artificial Intelligence, vol.115, issue.1, pp.107-138, 1999.
DOI : 10.1016/S0004-3702(99)00072-7
URL : http://doi.org/10.1016/s0004-3702(99)00072-7

A. Herzig, J. Lang, P. Marquis, and T. Polacsek, Updates, actions, and planning, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'01, pp.119-124, 2001.

J. Hoffmann, P. Bertoli, M. Helmert, and M. Pistore, Message-based web service composition, integrity constraints, and planning under uncertainty: A new connection, J. Artif. Intell. Res, vol.35, pp.49-117, 2009.

A. Hunter and J. Delgrande, Iterated belief change due to actions and observations, J. Artif. Intell. Res, vol.40, pp.269-304, 2011.

R. M. Karp and R. J. Lipton, Some connections between non-uniform and uniform complexity classes, Proceedings of the Annual ACM Symposium on Theory of Computing (STOC'80, pp.302-309, 1980.
DOI : 10.1145/800141.804678

H. Katsuno and A. Mendelzon, On the difference between updating a knowledge base and revising it, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'91, pp.387-394, 1991.
DOI : 10.1017/CBO9780511526664.007

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

G. Kourousias and D. Makinson, Abstract, The Journal of Symbolic Logic, vol.22, issue.03, pp.994-1002, 2007.
DOI : 10.1023/A:1018960323808

J. Lang, Belief update revisited, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'07, pp.2517-2522, 2007.

J. Lang and P. Marquis, Two forms of dependence in propositional logic: Controllability and definability, Proceedings of the National Conference on Artificial Intelligence (AAAI'98, pp.268-273, 1998.

J. Lang, P. Marquis, W. , and M. , Updating epistemic states, Proceedings of the 14th Australian Joint Conference on Artificial Intelligence (AI'01, pp.297-308, 2001.
DOI : 10.1007/3-540-45656-2_26

J. Lang, P. Liberatore, M. , and P. , Conditional independence in propositional logic, Artificial Intelligence, vol.141, issue.1-2, pp.79-121, 2002.
DOI : 10.1016/S0004-3702(02)00244-8

J. Lang, P. Liberatore, M. , and P. , Propositional independence: Formula-variable independence and forgetting, J. Artif. Intell. Res, vol.18, pp.391-443, 2003.

J. Lang, F. Lin, M. , and P. , Causal theories of action: A computational core, Proceedings of the International Joint Conference Artificial Intelligence (IJCAI'03, pp.1073-1078, 2003.

H. Levesque, A completeness result for reasoning with incomplete first-order knowledge bases, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'98, pp.14-23, 1998.

P. Liberatore, The complexity of belief update, Artificial Intelligence, vol.119, issue.1-2, pp.141-190, 2000.
DOI : 10.1016/S0004-3702(00)00016-3

P. Liberatore, A Framework for Belief Update, Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA'00, pp.361-375, 2000.
DOI : 10.1007/3-540-40006-0_25

P. Liberatore and M. Schaerf, The compactness of belief revision and update operators, Fundamenta Informaticae, vol.62, pp.3-4, 2004.

F. Lin and R. Reiter, How to Progress a Database (and Why) I. Logical Foundations, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'94, pp.425-436, 1994.
DOI : 10.1016/B978-1-4832-1452-8.50135-4

F. Lin and R. Reiter, How to progress a database, Artificial Intelligence, vol.92, issue.1-2, pp.1-2, 1997.
DOI : 10.1016/S0004-3702(96)00044-6

H. Liu, C. Lutz, M. Milicic, and F. Wolter, Updating description logic A-boxes, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'06, pp.46-56, 2006.

E. Madalinska-bugaj and W. ?ukaszewicz, First-order generalization of the MPMA belief update operator, Fundamenta Informaticae, vol.94, pp.49-61, 2009.

D. Makinson, Propositional relevance through letter-sharing, Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, 2007.
DOI : 10.1016/j.jal.2008.12.001

P. Marquis, Consequence Finding Algorithms, Handbook on Defeasible Reasoning and Uncertainty Management Systems, pp.41-145, 2000.
DOI : 10.1007/978-94-017-1737-3_3

N. Mccain and H. Turner, Causal theories of action and change, Proceedings of the National Conference on Artificial Intelligence (AAAI'97, pp.460-465, 1997.

A. C. Nayak, Y. Chen, L. , and F. , Forgetting and Knowledge Update, Proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI'06, pp.131-140, 2006.
DOI : 10.1007/11941439_17

C. Papadimitriou, Computational Complexity, 1994.

R. Parikh, Beliefs, belief revision, and splitting languages, Logic, Language, and Computation, 1999.

S. Shapiro, M. Pagnucco, Y. Espérance, and H. J. Levesque, Iterated belief change in the situation calculus, Artificial Intelligence, vol.175, issue.1, pp.165-192, 2011.
DOI : 10.1016/j.artint.2010.04.003

A. Shirazi and E. Amir, First-order logical filtering, Artificial Intelligence, vol.175, issue.1, pp.193-219, 2011.
DOI : 10.1016/j.artint.2010.04.015

Q. Vo, A. Nayak, and N. Foo, A Syntax-based Approach to Reasoning about Action and Belief Update, Journal of Logic and Computation, vol.16, issue.3, pp.315-338, 2006.
DOI : 10.1093/logcom/exi081

M. Winslett, Updating Logical Databases, 1990.
DOI : 10.1017/CBO9780511663109

Y. Zhang and Y. Zhou, Knowledge forgetting: Properties and applications, Artificial Intelligence, vol.173, issue.16-17, pp.16-17, 2009.
DOI : 10.1016/j.artint.2009.07.005