Doherty, P., 1991, “NM3 — A three-valued cumulative non-monotonic formalism,” pp. 196–211 in Logics in AI, J. van Eijck, ed., LNCS 478, Berlin: Springer-Verlag.
Engelfriet, J. and Treur, J., 1993, “A temporal model theory for default logic,” pp. 91–96 in Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, M. Clarke, R. Kruse, and S. Moral, eds., Berlin: Springer-Verlag.
Finger, M. and Gabbay, D., 1992, “Adding a temporal dimension to a logic system,” Journal of Logic, Language and Information
Giunchiglia, E., Traverso, P., and Giunchiglia, F., 1993, “Multicontext systems as a specification framework for complex reasoning systems,” pp. 45–72 in Formal Specification of Complex Reasoning Systems, J. Treur and Th. Wetter, eds., Chichester: Ellis Horwood.
Hughes, G.E. and Cresswell, M.J., 1968, An Introduction to Modal Logic, London: Methuen & Co. Ltd.
Halpern, J.Y. and Moses, Y.O., 1984, “Towards a theory of knowledge and ignorance,” pp. 125–143 in Proc. Workshop on Non-Monotonic Reasoning, AAAI.
Meyer, J.—J. Ch. and van der Hoek, W., 1991, “Non-monotonic reasoning by monotonic means,” pp. 399–411 in Logics in AI (Proc. JELIA '90), J. van Eijck, ed., LNCS 478, Berlin: Springer-Verlag.
Meyer, J.—J. Ch. and van der Hoek, W., 1995, “A default logic based on epistemic states,” Fundamentae Informatica
Meyer, J.—J. Ch. and van der Hoek, W., 1995, Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science, Vol. 41, Cambridge: Cambridge University Press.
Moore, R.C., 1985, “Semantical considerations on nonmonotonic logic,” Artificial Intelligence
Reiter, R., 1980, “A logic for default reasoning,” Artificial Intelligence
Reiter, R., 1987, “Nonmonotonic reasoning,” Annual Reviews of Computer Science
Shoham, Y., 1987, “A semantical approach to nonmonotonic logics,” pp. 388–392 in Proceedings 10th IJCAI, J. McDermott (ed.), San Mateo, CA: Morgan Kaufmann.
Shoham, Y., 1988, Reasoning about Change, Cambridge, Massachusetts: MIT Press.
Tan, Y.—H. and Treur, J., 1991, “A bimodular approach to nonmonotonic reasoning,” pp. 461–475 in Proc. WOCFAI'91, M. DeGlas and D. Gabbay, eds., Paris: Angkor.
Tan, Y.—H. and Treur, J., 1992, “Constructive default logic and the control of defeasible reasoning,” pp. 299–303 in Proc. of the European Conference on Artificial Intelligence, ECAI'92, B. Neumann, ed., Chichester: Wiley & Sons.
Treur, J., 1994, “Temporal semantics of metalevel architectures for dynamic control of reasoning,” pp. 353–377 in Proc. META'94, Pisa, LNCS 883, Berlin: Springer-Verlag.
van der Hoek, W., Meyer J.—J. Ch., and Treur, J., 1994, “Formal semantics of temporal epistemic reflection,” pp. 332–352 in Proc. META'94, Pisa, LNCS 883, Berlin: Springer-Verlag.
Weyhrauch, R.W., 1980, “Prolegomena to a theory of mechanized formal reasoning,” Artificial Intelligence J.