13 search results - page 2 / 3 » Reformulating Planning Problems by Eliminating Unpromising A... |
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
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...
AAAI
1990
13 years 6 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
SYNASC
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
NEUROSCIENCE
2001
Springer
13 years 10 months ago
2001
Springer
The Brain is a slow computer yet humans can skillfully play games such as tennis where very fast reactions are required. Of particular interest is the evidence for strategic thinki...
UAI
1998
13 years 7 months ago
1998
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...