235 search results - page 2 / 47 » Spatial Logics for Bigraphs |
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
FSKD
2010
Springer
13 years 3 months ago
2010
Springer
Uncertainty is the intrinsic property of spatial data and one of important factors affecting the course of spatial data mining. There are diversiform forms for the essentiality an...
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
AMAI
2007
Springer
13 years 5 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
ISD
1999
Springer
13 years 9 months ago
1999
Springer
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...