235 search results - page 11 / 47 » Spatial Logics for Bigraphs |
114
Voted
ICTAC
2004
Springer
15 years 9 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...
149
Voted
TABLEAUX
2009
Springer
15 years 10 months 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...
176
Voted
GEOINFORMATICA
2011
14 years 10 months 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...
147
Voted
KI
2007
Springer
15 years 9 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...
111
click to vote
ICDT
1997
ACM
15 years 7 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 ...