Sciweavers

14 search results - page 2 / 3
» Pictorial Deduction in Spatial Information Systems
Sort
View
KR
1998
Springer
13 years 9 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
COSIT
1997
Springer
131views GIS» more  COSIT 1997»
13 years 9 months ago
Cognitive Requirements on Making and Interpreting Maps
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...
Thomas Barkowsky, Christian Freksa
APCHI
1998
IEEE
13 years 9 months ago
Mixed Task Domain Representation in VR-DIS
Direct manipulation interfaces are characterised according to the representation of the task domain: the domain objects and the effect of user operations on those objects. In the ...
M. K. D. Coomans, H. H. Achten
KI
1994
Springer
13 years 9 months ago
Combining Spatial and Terminological Reasoning
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
Volker Haarslev, Ralf Möller, Carsten Schr&ou...
AMAI
2007
Springer
13 years 5 months ago
A new modal logic for reasoning about space: spatial propositional neighborhood logic
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
Antonio Morales, Isabel Navarrete, Guido Sciavicco