5216 search results - page 338 / 1044 » Planning as Model Checking |
141
Voted
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a prototype and analytical studies of a spherical rolling robot, a new design of a nonholonomic system. The spherical robot is driven by two remotely controll...
140
click to vote
WSC
2007
15 years 7 months ago
2007
The problem of path planning for Unmanned Aerial Vehicles (UAV) with a tracking mission, when some a priori information about the targets and the environment is available can in s...
135
click to vote
WSC
2008
15 years 7 months ago
2008
Tunnel construction are essentially infrastructure projects that includes many interfered and sophisticated tasks. This paper presents a decision support tool, Tunnel_Sim, for pla...
135
Voted
AIR
2004
15 years 4 months ago
2004
This paper presents an alternative to the `speech acts with STRIPS' approach to implementing dialogue: a fully implemented AI planner which generates and analyses the semantic...
151
Voted
IVA
2010
Springer
15 years 2 months ago
2010
Springer
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...