379 search results - page 15 / 76 » Order in Space: A General Formalism for Spatial Reasoning |
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
KR
1992
Springer
14 years 16 days ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
GIS
2010
ACM
13 years 7 months ago
2010
ACM
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
CPAIOR
2010
Springer
14 years 1 months ago
2010
Springer
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...