Applying planning to interactive storytelling: Narrative control using state constraints
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving