Abstraction heuristics are a popular method to guide optimal search algorithms in classical planning. Cost partitionings allow to sum heuristic estimates admissibly by distributing action costs among the heuristics. We introduce state-dependent cost partitionings which take context information of actions into account, and show that an optimal state-dependent cost partitioning dominates its state-independent counterpart. We demonstrate the potential of our idea with a state-dependent variant of the recently proposed saturated cost partitioning, and show that it has the potential to improve not only over its state-independent counterpart, but even over the optimal state-independent cost partitioning. Our empirical results give evidence that i...
We have recently shown how counterexample-guided abstraction refinement can be used to derive inform...
Saturated cost partitioning and post-hoc optimization are two powerful cost partitioning algorithms ...
Many heuristics for cost-optimal planning are based on linear programming. We cover several interest...
Cost partitioning is a method for admissibly adding multiple heuristics for state-space search. Satu...
Heuristic search with an admissible heuristic is one of the most prominent approaches to solving cla...
Cost partitioning is a general and principled approach for constructing additive admissible heuristi...
In classical planning, cost partitioning is a method for admissibly combining a set of heuristic est...
We have recently shown how counterexample-guided abstraction refinement can be used to derive inform...
Cost partitioning is a well-known technique to make admissible heuristics for classical planning add...
Cost partitioning is a general method for admissibly summing up heuristic estimates for optimal stat...
Several recent heuristics for domain independent planning adopt some action cost partitioning scheme...
Extending the classical planning formalism with state-dependent action costs (SDAC) allows an up to ...
Cost partitioning admissibly combines the information from multiple heuristics for optimal state-spa...
Cost partitioning is a method for admissibly combining a set of admissible heuristic estimators by d...
Counterexample-guided abstraction refinement (CEGAR) is a method for incrementally computing abstrac...
We have recently shown how counterexample-guided abstraction refinement can be used to derive inform...
Saturated cost partitioning and post-hoc optimization are two powerful cost partitioning algorithms ...
Many heuristics for cost-optimal planning are based on linear programming. We cover several interest...
Cost partitioning is a method for admissibly adding multiple heuristics for state-space search. Satu...
Heuristic search with an admissible heuristic is one of the most prominent approaches to solving cla...
Cost partitioning is a general and principled approach for constructing additive admissible heuristi...
In classical planning, cost partitioning is a method for admissibly combining a set of heuristic est...
We have recently shown how counterexample-guided abstraction refinement can be used to derive inform...
Cost partitioning is a well-known technique to make admissible heuristics for classical planning add...
Cost partitioning is a general method for admissibly summing up heuristic estimates for optimal stat...
Several recent heuristics for domain independent planning adopt some action cost partitioning scheme...
Extending the classical planning formalism with state-dependent action costs (SDAC) allows an up to ...
Cost partitioning admissibly combines the information from multiple heuristics for optimal state-spa...
Cost partitioning is a method for admissibly combining a set of admissible heuristic estimators by d...
Counterexample-guided abstraction refinement (CEGAR) is a method for incrementally computing abstrac...
We have recently shown how counterexample-guided abstraction refinement can be used to derive inform...
Saturated cost partitioning and post-hoc optimization are two powerful cost partitioning algorithms ...
Many heuristics for cost-optimal planning are based on linear programming. We cover several interest...