TALplanner: an empirical investigation of a temporal logic-based forward chaining planner | IEEE Conference Publication | IEEE Xplore