TY - GEN ID - cogprints464 UR - http://cogprints.org/464/ A1 - Akman, Varol A1 - Surav, Mehmet Y1 - 1996/// N2 - The importance of contextual reasoning is emphasized by various researchers in AI. (A partial list includes John McCarthy and his group, R. V. Guha, Yoav Shoham, Giuseppe Attardi and Maria Simi, and Fausto Giunchiglia and his group.) Here, we survey the problem of formalizing context and explore what is needed for an acceptable account of this abstract notion. KW - commonsense reasoning KW - context KW - lifting KW - natural language KW - categorization KW - intelligent information retrieval KW - knowledge representation KW - logic KW - situation theory. TI - Steps toward Formalizing Context SP - 55 AV - public EP - 72 ER -