2273 search results - page 157 / 455 » On the Expressiveness and Complexity of ATL |
101
click to vote
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
TRUSTBUS
2009
Springer
15 years 4 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
101
click to vote
KI
2009
Springer
15 years 4 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
SCALESPACE
2007
Springer
15 years 4 months ago
2007
Springer
This paper proposes an extension of compressed sensing that allows to express the sparsity prior in a dictionary of bases. This enables the use of the random sampling strategy of c...