A Behavior-Authoring Framework for Multiactor Simulations
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving