The current technological trend depicts a scenario in which space, and more generally the environment in which the computation takes place, represents a key aspect that must be …
A major issue in Pervasive Computing in order to design and implement context–aware applications is to correlate information provided by distributed devices to furnish a more …
BA El-Geresy, AI Abdelmoty - International Journal on Artificial …, 1997 - World Scientific
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between …
M Palmonari, D Bogni - Proc. 1st Int'l Workshop Stream Reasoning, 2009 - academia.edu
In this paper we discuss the adoption of a formal approach to correlation of heterogeneous information based on qualitative spatial reasoning to contribute to some relevant aspects …
S Li, M Ying - Artificial Intelligence, 2004 - Elsevier
The Region Connection Calculus (RCC) is one of the most widely referenced system of high- level (qualitative) spatial reasoning. RCC assumes a continuous representation of space …
Achieving" common-sense reasoning capabilities in a computational system has been one of the goals of Artificial Intelligence since its inception in the 1960s (McCarthy and Hayes …
This thesis investigates logical representations for describing and reasoning about spatial situations. Previously proposed theories of spatial regions are investigated in some detail …
BA El-Geresy, AI Abdelmoty - Knowledge-Based Systems, 2004 - Elsevier
In this paper the design and implementation of a general qualitative spatial reasoning engine (SPARQS) is presented. Qualitative treatment of information in large spatial …
Spatial structures and spatial reasoning are essential to perception and cognition. Much day- to-day practical information is about what happens at certain spatial locations. Moreover …