Model, in the Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann, 1541-1550. M-A. Williams, Pagnucco, M., Foo, N. and Sims, B. (1995) Determining Explanations using Knowledge Transmutations, Proc 14th Int. Joint Conference on Artificial Intelligence (IJCAI), Morgan Kauffman 822-830. M-A. Williams (1994). On the Logic of Theory Base Change, in C. MacNish, D. Pearce, L.Perria (eds), Logics in Artificial Intelligence, Lecture Note Series in Computer Science, No 838, Springer-Verlag, 86-105. M-A. Williams (1994). Explanation and Theory Base Transmutations, in the Proceedings of the European Conference on Artificial Intelligence (ECAI), Wiley, London, 341-346. M-A. Williams and Foo, N.Y. (1990) Nonmonotonic Dynamics of Default Logic, in the Proceedings of the European Conference on Artificial Intelligence (ECAI), Wiley, London, 702-707. M. Winslett (1989). Sometimes updates are circumscription. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89), pages 859–863. M. Winslett (1990). Updating Logical Databases. Cambridge University Press. Y. Zhang and N. Foo (1996). Updating knowledge bases with disjunctive information. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96), pages 562–568. External links Defeasible Reasoning: 4.3 Belief Revision Theory at Stanford Encyclopedia of Philosophy Belief Formal epistemology Knowledge representation Logic Logic programming