Otium: A web based planner for tourism and leisure
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving