Sciweavers

4 search results - page 1 / 1
» A Predication Calculus for Qualitative Spatial Representatio...
Sort
View
COSIT
1999
Springer
124views GIS» more  COSIT 1999»
13 years 8 months ago
A Predication Calculus for Qualitative Spatial Representations
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...
Carola Eschenbach
CORR
2010
Springer
106views Education» more  CORR 2010»
13 years 4 months ago
Spatial logics with connectedness predicates
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter...
ICTAI
2007
IEEE
13 years 11 months ago
Qualitative Constraints Representation for the Time and Space in SAT
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
Jean-François Condotta, Dominique D'Almeida
AAAI
1994
13 years 5 months ago
Automatic Depiction of Spatial Descriptions
A novel combination of ideas from cognitive linguistics and spatial occupancy models in robotics has led to the WIP (Words Into Pictures) system. WIP automatically generates depic...
Patrick Olivier, Toshiyuki Maeda, Jun-ichi Tsujii