2035 search results - page 12 / 407 » On the complexity of stratified logics |
EUSFLAT
2009
14 years 8 months ago
2009
The present article dedicates itself to fuzzy modelling of data
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
APAL
2006
14 years 10 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
FC
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present a broadcast encryption scheme with efficient transmission cost under the log-key restriction. Given n users and r revoked users, our scheme has the trans...