This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter...
- The School of Computer Science, Telecommunications, and Information Systems (CTI) is a technologically-focused college within DePaul University. While DePaul CTI has a large numb...
- For an iterative process to be parallelized, the operations that comprise the process must be organized into a correct schedule that will allow the hardware to compute the task. ...
An intelligent thesaurus assists a writer with alternative choices of words and orders them by their suitability in the writing context. In this paper we focus on methods for auto...
We use machine learning techniques to find the best combination of local focus and lexical distance features for identifying the anchor of mereological bridging references. We fin...
Massimo Poesio, Rahul Mehta, Axel Maroudas, Janet ...