981 search results - page 3 / 197 » Negation in Spatial Reasoning |
ICLP
2001
Springer
13 years 11 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
GIS
1992
ACM
13 years 11 months ago
1992
ACM
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
COSIT
2001
Springer
13 years 12 months ago
2001
Springer
One of the central questions of spatial reasoning research is whether the underlying processes are inherently visual or spatial. The article reports a dual-task experiment that was...
GIR
2006
ACM
14 years 1 months ago
2006
ACM
Vague spatial information such as “x is located at walking distance of y” is abundant on the web. In this contribution, we propose a framework to represent such spatial inform...
CSL
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...