A Flexible Coupling Approach to Multi-Agent Planning under Incomplete Information
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving