A Temporal Logic-Based Planner

How did TALPLANNER come about? TAL serves as a reference formalism for We use a simple gripper domain as an example. ROBBY only has a single gripper. For many domains, the process is intuitive and straightforward. We imagine that for other domains, the process will be quite complex, and finding a means of automatically generating at least some of the control statements is highly desirable and a challenging research issue.