R. V. Guha
Several Knowledge Representation systems such as KRL, KIF, and CycL have provided mechanisms similar to contexts. These mechanisms have generally provided the ability to group assertions into clumps and associate different assumptions, vocabularies, etc. with the assertions in them. Over the last few years, developments in the formalization of the notion of contexts have provided us with a mechanism to, at least conceptually, integrate these mechanisms, as In this talk, I will try to trace the development of these seemingly diverse facilities into the unifying theme of contexts.