2273 search results - page 6 / 455 » On the Expressiveness and Complexity of ATL |
FMOODS
2006
14 years 11 months ago
2006
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment beha...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
DLT
2009
14 years 7 months ago
2009
Abstract. We improve on some recent results on lower bounds for conversion problems for regular expressions. In particular we consider the conversion of planar deterministic finite...
SIGMOD
2010
ACM
14 years 9 months ago
2010
ACM
The problem of efficiently evaluating a large collection of complex Boolean expressions
BMCBI
2010
14 years 7 months ago
2010
Background: High complexity is considered a hallmark of living systems. Here we investigate the complexity of temporal gene expression patterns using the concept of Permutation En...