1. K. M. Sim. Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations. Artificial Intelligence Review Journal, Vol. 15, Issue 3, May 2001, pp. 219-240.
2. K. M. Sim. Reasoning Tractably About Explicit Belief: A Model-theoretic Approach. International Journal of Intelligent Systems, Vol. 15, No. 9, Sep 2000, pp. 811-848.
3. K. M. Sim. Epistemic Logic and Logical Omniscience II: A Unifying Framework. International Journal of Intelligent Systems, Vol. 15, No. 2, Feb 2000, pp. 129-152.
4. K. M. Sim. Epistemic Logic and Logical Omniscience: A Survey. International Journal of Intelligent Systems. Vol. 12, No. 1, Jan. 1997, pp. 57 - 81.
5. K. M. Sim. Beliefs and Bilattices. In Proceedings of the 8th Int. Sym. on Methodologies for Intelligent Systems, Charlotte, North Carolina 1994. Lecture Notes in Artificial Intelligence 869, pages 594 - 603, Springer Verlag, 1994.