312 search results - page 26 / 63 » On Temporal Planning as CSP |
AIEDAM
1999
13 years 7 months ago
1999
SCHEDULING
2010
13 years 6 months ago
2010
CSCLP
2007
Springer
14 years 1 months ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
ECP
1997
Springer
13 years 11 months ago
1997
Springer
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...