4595 search results - page 94 / 919 » Reasoning about Plans |
238
click to vote
CONCUR
2011
Springer
14 years 4 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
151
Voted
NMR
2004
Springer
15 years 10 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
144
click to vote
FLAIRS
2008
15 years 7 months ago
2008
There are a lot of approaches for solving planning problems. Many of these approaches are based on `brute force` search methods and do not care about structures of plans previousl...
141
click to vote
CP
2010
Springer
15 years 2 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
163
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...