1. On the logic of theory change: partial meet functions for contraction and revision;Alchourron;Journal of Symbolic Logic,1985
2. How to do things with words;Austin,1962
3. Boutilier, C. 1992. Normative, subjective and autoepistemic defaults: Adopting the ramsey test. In Principles of Knowledge Representation and Reasoning: Proc. Third Intl. Conf. (KR '92).
4. Brafman, R. I., and Tennenholtz, M. 1994. Belief ascription. Technical report, Stanford University.
5. del Val, A. and Shoham, Y. 1992. Deriving properties of belief update from theories of action. In Principles of Knowledge Representation and Reasoning: Proc. Third Intl. Conf (KR '92). 584–589.