2022 search results - page 13 / 405 » Complexity of Non-Monotonic Logics |
ENTCS
2011
14 years 5 months ago
2011
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ‘Computational Complexity in Non-Turing Models of Computationâ...
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...
109
click to vote
ESSOS
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
124
Voted
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...