TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner