A Multi-Agent Extension of Hierarchical Task Network
SHOP2: An HTN Planning System