Symmetries and Other Variations of "End-Recursive" HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions.

Hadyn Tang, Pascal Bercher

Browse the full AAAI paper archive.