543 search results - page 27 / 109 » A Theory of Plan Modification |
148
click to vote
AI
2005
Springer
15 years 1 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
108
click to vote
ATAL
1999
Springer
15 years 5 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
101
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We present a motion planning algorithm that computes rough trajectories used by a contact-points planner as a guide to grow its search graph. We adapt collision-free mot...
92
Voted
ICAISC
2004
Springer
15 years 6 months 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 ...
122
click to vote
AAMAS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...