On the Decidability of HTN Planning with Task Insertion.

Thomas Geier Pascal Bercher

Published in: IJCAI (2011)

Keyphrases

htn planning
description logics
planning domains
hierarchical task network
planning problems
planning systems
ai planning
machine learning
web service composition
special case
general purpose
description language