411 search results - page 6 / 83 » Timed Alternating-Time Temporal Logic |
124
Voted
TIME
2003
IEEE
15 years 11 months ago
2003
IEEE
179
Voted
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 5 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...
175
click to vote
GRC
2005
IEEE
15 years 11 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...
151
Voted
CSR
2006
Springer
15 years 9 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...