411 search results - page 6 / 83 » Timed Alternating-Time Temporal Logic |
TIME
2007
IEEE
14 years 5 months ago
2007
IEEE
TIME
2003
IEEE
14 years 4 months ago
2003
IEEE
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
12 years 10 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
GRC
2005
IEEE
14 years 4 months ago
2005
IEEE
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...
CSR
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...