On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.

Songtuan Lin, Gregor Behnke, Simona Ondrckov, Roman Bartk, Pascal Bercher

Browse the full AAAI paper archive.