TY - JOUR AU - Pommerening, Florian AU - Helmert, Malte PY - 2015/04/08 Y2 - 2024/03/29 TI - A Normal Form for Classical Planning Tasks JF - Proceedings of the International Conference on Automated Planning and Scheduling JA - ICAPS VL - 25 IS - 1 SE - Technical Papers DO - 10.1609/icaps.v25i1.13733 UR - https://ojs.aaai.org/index.php/ICAPS/article/view/13733 SP - 188-192 AB - <p> We describe transition normal form (TNF) for classical planning tasks, where there is a unique goal state and variables occur in an operator precondition iff they appear in the effect. Tasks can be efficiently converted to TNF, all common planning heuristics are invariant under the transformation, and tasks in normal form are easier to study theoretically. </p> ER -