5216 search results - page 22 / 1044 » Planning as Model Checking |
ISRR
2001
Springer
14 years 3 months ago
2001
Springer
This paper describes the foundations and algorithms of a new probabilistic roadmap (PRM) planner that is: (1) singlequery –i.e., it does not pre-compute a roadmap, but uses the ...
EXACT
2007
14 years 1 months ago
2007
In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
ASP
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
ATAL
2008
Springer
14 years 28 days ago
2008
Springer