5216 search results - page 326 / 1044 » Planning as Model Checking |
156
click to vote
EKAW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
147
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
- A new motion planning framework is presented that enables multiple mobile robots with limited ranges of sensing and communication to maneuver and achieve goals safely in dynamic ...
146
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
143
click to vote
AIIA
2009
Springer
15 years 9 months ago
2009
Springer
In this paper a planning framework based on Ant Colony Optimization techniques is presented. Optimal planning is a very hard computational problem which has been coped with differe...
124
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...