Sciweavers

179 search results - page 21 / 36
» Using Classical Planners to Solve Nondeterministic Planning ...
Sort
View
MKM
2005
Springer
15 years 7 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
105
Voted
FLAIRS
2006
15 years 3 months ago
A Hill-Climbing Approach for Planning with Temporal Uncertainty
We present a hill-climbing algorithm to solve planning problems with temporal uncertainty. First an optimistic plan that is valid when all actions complete quickly is found. Then ...
Janae N. Foss, Nilufer Onder
ICRA
2010
IEEE
132views Robotics» more  ICRA 2010»
15 years 12 days ago
Sampling-based motion planning with temporal goals
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi
121
Voted
AIPS
2010
15 years 2 months ago
The Scanalyzer Domain: Greenhouse Logistics as a Planning Problem
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
Malte Helmert, Hauke Lasinger
AAAI
2012
13 years 4 months ago
Real-Time Collaborative Planning with the Crowd
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...
Walter S. Lasecki, Jeffrey P. Bigham, James F. All...