Sciweavers

27 search results - page 1 / 6
» Regression for Classical and Nondeterministic Planning
Sort
View
ECAI
2008
Springer
13 years 5 months ago
Regression for Classical and Nondeterministic Planning
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
Jussi Rintanen
AIPS
2008
13 years 6 months ago
Using Classical Planners to Solve Nondeterministic Planning Problems
Researchers have developed a huge number of algorithms to solve classical planning problems. We provide a way to use these algorithms, unmodified, to generate strong-cyclic soluti...
Ugur Kuter, Dana S. Nau, Elnatan Reisner, Robert P...
ECAI
2010
Springer
13 years 5 months ago
Compiling Uncertainty Away in Non-Deterministic Conformant Planning
It has been shown recently that deterministic conformant planning problems can be translated into classical problems that can be solved by off-the-shelf classical planners. In this...
Alexandre Albore, Héctor Palacios, Hector G...
IJCAI
2001
13 years 6 months ago
Planning as Model Checking for Extended Goals in Non-deterministic Domains
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
Marco Pistore, Paolo Traverso
ATAL
2010
Springer
13 years 5 months ago
Merging example plans into generalized plans for non-deterministic environments
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...