2273 search results - page 6 / 455 » On the Expressiveness and Complexity of ATL |
FMOODS
2006
13 years 8 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
14 years 27 days 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
13 years 5 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
13 years 7 months ago
2010
ACM
The problem of efficiently evaluating a large collection of complex Boolean expressions
BMCBI
2010
13 years 4 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...