263 search results - page 31 / 53 » Using Temporal Logic for Spatial Reasoning: Temporalized Pro... |
138
Voted
GEOS
2005
Springer
15 years 11 months ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
129
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
163
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
162
click to vote
DLOG
2006
15 years 6 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
135
click to vote
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...