Content not yet available

This lecture has no active video or poster.

AAAI 2026

January 22, 2026

Singapore, Singapore

Would you like to see your presentation here, made available to a global audience of researchers?
Add your own presentation or have us affordably record your next conference.

In this paper, we investigate the complexity of determining if various restricted forms of hierarchical task network (HTN) planning have a plan. We perform a systematic analysis of new restrictions formed by applying symmetries and relaxations to two existing restrictions called regularity and tail-recursiveness. By doing so, we find that many variations on common restrictions do not affect the complexity of the plan existence problem at all, but we also obtain the counter-intuitive result that combining some of these seemingly inert relaxations together renders the plan existence problem undecidable. We also unearth a critical difference in definitions between an early paper in HTN planning and modern formalisms that appears to have gone unnoticed.

Downloads

Paper

Next from AAAI 2026

PMPGuard: Catching Pseudo-Matched Pairs in Remote Sensing Image–Text Retrieval
poster

PMPGuard: Catching Pseudo-Matched Pairs in Remote Sensing Image–Text Retrieval

AAAI 2026

+1
Cong Bai and 3 other authors

22 January 2026

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRESENTATIONS

  • All Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2025 Underline - All rights reserved