Sciweavers

169 search results - page 1 / 34
» Tractability of Planning with Loops
Sort
View
AIPS
2006
13 years 6 months ago
Explanation-Based Acquisition of Planning Operators
Classical planning algorithms require that their operators be simple in order for planning to be tractable. However, the complexities of real world domains suggest that, in order ...
Geoffrey Levine, Gerald DeJong
ICRA
2005
IEEE
126views Robotics» more  ICRA 2005»
13 years 11 months ago
Global A-Optimal Robot Exploration in SLAM
— It is well-known that the Kalman filter for simultaneous localization and mapping (SLAM) converges to a fully correlated map in the limit of infinite time and data [1]. Howev...
Robert Sim, Nicholas Roy
AIPS
2008
13 years 7 months ago
In Search of the Tractability Boundary of Planning Problems
Recently, considerable focus has been given to the problem of determining the boundary between tractable and intractable planning problems. To this end, we present complexity resu...
Omer Giménez, Anders Jonsson
AIPS
2007
13 years 7 months ago
Structural Patterns of Tractable Sequentially-Optimal Planning
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
Michael Katz, Carmel Domshlak
AIPS
2010
13 years 7 months ago
Computing Applicability Conditions for Plans with Loops
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...