On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.
Songtuan LinGregor BehnkeSimona OndrckováRoman BartákPascal BercherPublished in: AAAI (2023)
Keyphrases
- total order
- dynamic programming
- verification method
- segmentation algorithm
- computational complexity
- k means
- objective function
- partial order planning
- probabilistic model
- classification algorithm
- learning algorithm
- np hard
- partial order
- search strategy
- similarity measure
- worst case
- search space
- optimal solution
- orders of magnitude
- space complexity
- partially ordered