Recurring dominoes: making the highly undecidable highly understandable
Selected papers of the international conference on "foundations of computation theory" on Topics in the theory of computation
Modal logic
Tableaux for Quantified Hybrid Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
An ontology for context-aware pervasive computing environments
The Knowledge Engineering Review
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Signs of a revolution in computer science and software engineering
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Commonsense spatial reasoning for context–aware pervasive systems
LoCA'05 Proceedings of the First international conference on Location- and Context-Awareness
STATE OF APPLICATIONS IN AI RESEARCHES FROM AI*IA 2005
Applied Artificial Intelligence
Querying RDF streams with C-SPARQL
ACM SIGMOD Record
Hi-index | 0.00 |
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 considered in order to improve systems' context awareness, even if the kind of information processed is not only of spatial nature. This article focuses on the notions of "place" and "conceptual spatial relation" to present a formal model of space supporting common-sense spatial reasoning. The model can be viewed as the semantic specification for a hybrid logic, whose formulas represent spatially qualified information. Interesting classes of common-sense spatial models are identified according to the properties of their characteristic relations and an axiomatization of the associated hybrid language is given; a sound and complete tableau-based calculus for these classes of models is provided.