Common-sense spatial reasoning for information correlation in pervasive computing

S Bandini, A Mosca, M Palmonari - Applied Artificial Intelligence, 2007 - Taylor & Francis
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 hybrid logic for commonsense spatial reasoning

S Bandini, A Mosca, M Palmonari - AI* IA 2005: Advances in Artificial …, 2005 - Springer
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 …

Commonsense spatial reasoning for context–aware pervasive systems

S Bandini, A Mosca, M Palmonari - International Symposium on Location …, 2005 - Springer
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 …

Order in space: a general formalism for spatial reasoning

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 …

[PDF][PDF] Commonsense spatial reasoning about heterogeneous events in urban computing

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 …

Generalized region connection calculus

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 …

Automated Common-sense Spatial Reasoning: Still a Huge Challenge.

B Bennett, AG Cohn - 2022 - books.google.com
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 …

Logical representations for automated reasoning about spatial relationships

B Bennett - 1997 - etheses.whiterose.ac.uk
This thesis investigates logical representations for describing and reasoning about spatial
situations. Previously proposed theories of spatial regions are investigated in some detail …

SPARQS: a qualitative spatial reasoning engine

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 …

[图书][B] Spatial reasoning: theory and practice

M Aiello - 2002 - eprints.illc.uva.nl
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 …