8 search results - page 1 / 2 » Temporal Reasoning without Transitive Tables |
CORR
2007
Springer
15 years 12 days ago
2007
Springer
101
Voted
CADE
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
119
click to vote
TFS
2008
15 years 10 days ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
111
Voted
JAPLL
2010
14 years 7 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
208
Voted
POPL
2005
ACM
16 years 23 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...