Sciweavers

50 search results - page 1 / 10
» A Parametric Hierarchical Planner for Experimenting Abstract...
Sort
View
ECAI
2008
Springer
14 years 18 days ago
Combining Domain-Independent Planning and HTN Planning: The Duet Planner
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 ...
Alfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessan...
AAAI
1990
14 years 10 hour ago
A Hierarchical Planner that Generates Its Own Hierarchies
PABLO' is a nonlinear planner that reasons hially by generating abstract predicates. PABLO's abstract search spaces are generated automatically using predicate relaxatio...
Jens Christensen
CC
2005
Springer
115views System Software» more  CC 2005»
14 years 4 months ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
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...
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh...