21 search results - page 1 / 5 » Interval Duration Logic: Expressiveness and Decidability |
ENTCS
2002
13 years 4 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
LFCS
2007
Springer
13 years 10 months ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...