Reference: Farquhar, A. & Buvac, S. Putting Context Logic into Practice. Knowledge Systems Laboratory, January, 1997.
Abstract: A growing emphasis on information integration and agent interaction is pushing the boundaries of existing approaches to knowledge representation, which lack the ability to represent explicitly the relationships between different views of the world. In order to address this need, researchers have been developing new logics that explicitly characterize the context in which a statement is true. We show how context logic can be translated into standard first order logic. This enables researchers and practitioners to exploit this new representational technology in their applications by using existing, standard inference tools.