6957 search results - page 249 / 1392 » Planning before plans |
105
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
This paper describes two approaches that enable the AI Planner LPGP to reason about domains with exogenous events and goals with duration: the first investigates how such domains...
139
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
147
click to vote
ICAISC
2004
Springer
16 years 1 days ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
153
click to vote
KES
2004
Springer
16 years 19 hour ago
2004
Springer
In this paper, we introduce an effective strategy for subgoal division and ordering based upon recursive subgoals and combine this strategy with a genetic-based planning approach....
131
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a general framework for planning the quasi-static motion of a three-limbed climbing robot in vertical natural terrain. The problem is to generate a sequence of...