235 search results - page 3 / 47 » Spatial Logics for Bigraphs |
GIS
2010
ACM
13 years 4 months ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
CORR
2004
Springer
13 years 5 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
LICS
2010
IEEE
13 years 4 months ago
2010
IEEE
We solve the open problem of the decidability of Boolean BI logic (BBI), which can be considered as the core of separation and spatial logics. For this, we define a complete phas...
EUROCAST
2007
Springer
13 years 7 months ago
2007
Springer
CI
1998
13 years 5 months ago
1998
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...