
## References

Alchourron, C. ´ , Gardenfors, P. ¨ , and Makinson, D. 1985. On the logic of theory change: Partial meet functions for contraction and revision. **Journal of Symbolic**
Logic 50, **2, 510–530.**
Alferes, J. J., Leite, J. A., Pereira, L. M., Przymusinska, H., and Przymusinski, T. C. 2000. Dynamic updates of non-monotonic knowledge bases. **Journal of Logic**
Programming 45, **1-3, 43–70.**
Baral, C. 2003. **Knowledge Representation, Reasoning and Declarative Problem Solving**.

Cambridge University Press.

Dalal, M. 1988. Investigations into theory of knowledge base revision. In **Proceedings of**
the AAAI National Conference on Artificial Intelligence**. St. Paul, Minnesota, 449–479.**
Delgrande, J. and Schaub, T. **2003. A consistency-based approach for belief change.**
Artificial Intelligence 151, **1-2, 1–41.**
Delgrande, J., Schaub, T., Tompits, H., and Woltran, S. **2008. Belief revision of**
logic programs under answer set semantics. In **Proceedings of the Eleventh International**
Conference on the Principles of Knowledge Representation and Reasoning**, G. Brewka** and J. Lang, Eds. AAAI Press, Sydney, Australia, 411–421.

Eiter, T., Fink, M., Sabbatini, G., and Tompits, H. **2002. On properties of update**
sequences based on causal rejection. **Theory and Practice of Logic Programming 2,** 6, 711–767.

Foo, N. and Zhang, Y. 1997. Towards generalized rule-based updates. In **Proceedings**
of the Fifteenth International Joint Conference on Artificial Intelligence (**IJCAI'97** ).

Vol. 1. Morgan Kaufmann, 82–88.

Gardenfors, P. ¨ 1988. **Knowledge in Flux: Modelling the Dynamics of Epistemic States**.

The MIT Press, Cambridge, MA.

Gebser, M., Kaufmann, B., Neumann, A., and Schaub, T. **2007. Conflict-driven**
answer set solving. In **Proceedings of the Twentieth International Joint Conference on**
Artificial Intelligence (IJCAI'07)**, M. Veloso, Ed. AAAI Press/The MIT Press, 386–392.**
Gelfond, M. and Lifschitz, V. **1990. Logic programs with classical negation. In**
Proceedings of the International Conference on Logic Programming**, D. H. D. Warren**
and P. Szeredi, Eds. MIT, 579–597.

Inoue, K. and Sakama, C. **1999. Updating extended logic programs through abduction.**
In Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99 **). Lecture Notes in Artificial Intelligence, vol. 1730.**
Springer, 147–161.

Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM
Transactions on Computational Logic 7, **3, 499–562.**
Lifschitz, V., Pearce, D., and Valverde, A. **2001. Strongly equivalent logic programs.**
ACM Transactions on Computational Logic 2, **4, 526–541.**
Satoh, K. 1988. Nonmonotonic reasoning by minimal belief revision. In **Proceedings of**
the International Conference on Fifth Generation Computer Systems**. Tokyo, 455–462.**
Simons, P., Niemela, I. ¨ , and Soininen, T. **2002. Extending and implementing the stable**
model semantics. Artificial Intelligence 138, **1-2, 181–234.**
Tasharrofi, S. **2009. Belief revision through ASP programs. Unpublished manuscript.**
Williams, M.-A. 1995. Iterated theory base change: A computational model. In Proceedings of the International Joint Conference on Artificial Intelligence**. Montr´eal, 1541–**
1547.

Zhang, Y. and Foo, N. Y. 1998. Updating logic programs. In **Proceedings of the**
Thirteenth European Conference on Artificial Intelligence (ECAI'98 ). 403–407.