2 papers
cs.AI2026
Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding
Gaspard Quenard, Takudzwa Togarepi, Damien Pellier +1
While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited. In this paper, we investigate numerical Totally-Ordered…
cs.AI2026
Lose the Order, Keep the Hierarchy: Deordering HTN Plans
Takudzwa Togarepi, Gaspard Quenard, Damien Pellier +1
Hierarchical Task Network (HTN) planning is a powerful planning formalism based on task decomposition. Although most of the literature studied plan generation, comparatively less a…