The automatic validation tool for PDDL2.1

R. Howey, D. Long

Research output: Contribution to conferencePaperpeer-review

25 Downloads (Pure)


The 3rd International Planning Competition [1] was a great success and a cornerstone to this success was the initial definition of a semantics for the language used in the competition, PDDL2.1. This created a general understanding of the semantics of the domains defined using this language and therefore a general understanding of what constitutes a valid plan. With this consensus on what a valid plan is it was possible to implement an automatic plan validator, VAL. This tool conveys what is a valid plan in PDDL2.1 to anyone developing a planner using this language, as well as providing extra information in a LATEX report featuring graphs of changing numerical values and a Gantt chart (see figure 2).
Original languageEnglish
Number of pages2
Publication statusPublished - 23 Apr 2003
Event10th Workshop on Automated Reasoning - Liverpool, United Kingdom
Duration: 15 Apr 200316 Apr 2003


Conference10th Workshop on Automated Reasoning
Abbreviated titleARW'03
Country/TerritoryUnited Kingdom


  • planning
  • PDDL2.1
  • automatic plan validator


Dive into the research topics of 'The automatic validation tool for PDDL2.1'. Together they form a unique fingerprint.

Cite this