Thomas Geier, Pascal Bercher. On the Decidability of HTN Planning with Task Insertion. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 1955-1961, IJCAI/AAAI, 2011. [doi]
Abstract is missing.