A Multi-Agent Extension of Hierarchical Task Network
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving