Email: buvac@cs.stanford.edu; references in bibtex format.
The above paper is an expanded version of John McCarthy's landmark paper Notes on Formalizing Context which appeared in 1993. It also includes our report on the use of the context formalism in integrating plans which are generated by different planners, and which use different languages, Combining Planning Contexts. Our work is also largely influenced by R. V. Guha's research on the Cyc project and his Stanford PhD on the topic of context Contexts: A Formalization and Some Applications.
This work builds on the propositional properties of contexts, as formalized in Metamathematics of Contexts, which, in turn, subsumes our earlier work Propositional Logic of Context and The Semantics of Propositional Contexts.
A simple application of formal theory of context to NL is given in
McCarthy's Formal Reasoning Group home page.