235 search results - page 11 / 47 » Spatial Logics for Bigraphs |
141
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
189
click to vote
TABLEAUX
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
215
click to vote
GEOINFORMATICA
2011
15 years 20 days ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
175
click to vote
KI
2007
Springer
15 years 12 months ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
136
click to vote
ICDT
1997
ACM
15 years 9 months ago
1997
ACM
We consider spatial databases and queries definable using first-order logic and real polynomial inequalities. We are interested in topological queries: queries whose result only ...