206 search results - page 9 / 42 » Dynamic Linear Time Temporal Logic |
DBPL
2001
Springer
13 years 12 months ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
ICTL
1994
13 years 11 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
In this paper we consider the problem of temporal texture modeling and synthesis. A temporal texture (or dynamic texture) is seen as the output of a dynamical system driven by whit...
JOLLI
2010
13 years 5 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...