The increased use of context for high level reasoning has been popular in recent works to increase recognition accuracy. In this paper, we consider an orthogonal application of con...
Information visualization is traditionally viewed as a tool for data exploration and hypothesis formation. Because of its roots in scientific reasoning, visualization has tradition...
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
This paper describes a research project that investigated the feasibility and advantages of using contextual reasoning to supervise the collaborative work of several knowledge wor...
Avelino J. Gonzalez, Setsuo Tsuruta, Johann Nguyen...
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...