981 search results - page 4 / 197 » Negation in Spatial Reasoning |
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
COSIT
1997
Springer
15 years 1 months ago
1997
Springer
This paper gives a definition of Hierarchical Spatial Reasoning, which computes increasingly better results in a hierarchical fashion and stops the computation when a result is ac...
ICDE
2007
IEEE
15 years 3 months ago
2007
IEEE
In frequent geographic pattern mining a large amount of patterns can be non-novel and non-interesting. This problem has been addressed recently, and background knowledge is used t...
KI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet ...
72
Voted
LICS
1989
IEEE
15 years 1 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...