1860 search results - page 16 / 372 » A Temporal Logic of Robustness |
ICDM
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we consider the problem of discovering frequent temporal patterns in a database of temporal sequences, where a temporal sequence is a set of items with associated da...
FMOODS
2000
13 years 11 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
IANDC
2007
13 years 9 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
LOGCOM
2006
13 years 9 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
ICLP
2001
Springer
14 years 2 months ago
2001
Springer