Planning with Timed Literals and Deadlines

This paper describes how PDDL2.1 level 3 may be used to encode timed literals as well as goals with deadlines, which means that planners that have been designed to reason with PDDL2.1 level 3 will not need to be modified in order to solve problems containing timed literals and goals with deadlines. Two encodings are introduced and some preliminary results are presented. In light of these results the paper then describes how simple modifications made to the planner LPGP enable it to solve problems containing timed literals and goals with deadlines more effectively.