523 search results - page 1 / 105 » Past and Future of DL-Lite |
101
click to vote
ACTA
2004
15 years 6 days ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
236
click to vote
ICDE
2004
IEEE
16 years 1 months ago
2004
IEEE
Moving objects (e.g., vehicles in road networks) continuously generate large amounts of spatio-temporal information in the form of data streams. Efficient management of such strea...
104
Voted
FORMATS
2005
Springer
15 years 5 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
104
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...