5216 search results - page 49 / 1044 » Planning as Model Checking |
ICEB
2004
14 years 11 days ago
2004
An integrated optimization model of production plan and scheduling is introduced. Function objective is to minimize sum of total setup cost (initial setup cost and related setup c...
JAIR
2007
13 years 11 months ago
2007
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
ERSHOV
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. The paper describes a problem of multi-agent path planning in environment with obstacles. Novel approach to multi-agent optimal path planning, using graph representation ...
AIPS
2006
14 years 12 days ago
2006
We view dynamic scheduling as a sequential decision problem. Firstly, we introduce a generalized planning operator, the stochastic task model (STM), which predicts the effects of ...
UM
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...