981 search results - page 11 / 197 » Negation in Spatial Reasoning |
102
click to vote
KR
1994
Springer
15 years 5 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
139
Voted
KI
2010
Springer
15 years 5 days ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
GIS
2000
ACM
15 years 5 months ago
2000
ACM
GIS
2008
ACM
15 years 1 months ago
2008
ACM
85
Voted
GIS
2002
ACM
15 years 1 months ago
2002
ACM
