2273 search results - page 175 / 455 » On the Expressiveness and Complexity of ATL |
151
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the ...
155
click to vote
MEMICS
2010
15 years 1 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
202
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
172
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
186
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...