50 search results - page 1 / 10 » A Parametric Hierarchical Planner for Experimenting Abstract... |
IJCAI
2003
13 years 6 months ago
2003
APPINF
2003
13 years 6 months ago
2003
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Despite the recent advances in planning for classical domains, the question of how to use domain knowledge in planning is yet to be completely and clearly answered. Some ...
AAAI
1990
13 years 5 months ago
1990
PABLO' is a nonlinear planner that reasons hially by generating abstract predicates. PABLO's abstract search spaces are generated automatically using predicate relaxatio...
CC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...