238 search results - page 10 / 48 » Planning as Satisfiability |
FLAIRS
2001
13 years 11 months ago
2001
Thispaperdiscussesa proof-of-conceptprototypefor ground-basedautomaticgenerationof validatedrover commandsequences from high-level science and engineeringactivities.Thisprototypei...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
We present motion planning for dexterous manipulation by whole arm grasp system based on switching contact modes. Motion planning for such a system should consider changing dynami...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...