Resources

Slides of the presentation at ICAPS-06 on the IPC-5 results.

ICAPS'06 abstract booklet of the IPC-5 planners

Results, Domains and Generators

The problem generators for the competition domains are available here
All output files generated by the competions planners are available in this archive (the size is ~1.3 Mega bytes)
All benchmark domains and problems used in the competition are available in this archive (the size is ~38.6 Mega bytes)

Syntax Checker for PDDL3.0

A syntax checker for the BNF grammar of PDDL3.0 is available here. (This software is an extension of the parser of the LPG planner.)

Validation of PDDL3.0 Plans

An automatic validation tool for PDDL3.0 is available here.

Information Files Distributed to the Competitors

During the competition several information files have been sent to the competitors. The full list is available here

Some Examples of PDDL3.0 Domains/Problems
(distributed before the competition)

The following domains and problems were obtained by extending the formalization of the known "ZenoTravel" domain (from IPC 2002) by including some new features of PDDL3.0. The examples are available in this archive:

A problem for a propositional version of ZenoTravel with "simple preferences", i.e., with preferences only over action preconditions or goals.
A problem for a propositional version of ZenoTravel with "qualitative preferences", i.e., with preferences over trajectory constraints which do not involve numbers (always, sometime, sometime-before, sometime-after, at-most-once).
A problem for a metric-temporal version of ZenoTravel with "complex constraints", i.e., with trajectory constraints involving metric time and possibly numerical fluents (hold-during, hold-after, within, always-within).
A problem for a metric-temporal version of ZenoTravel with "complex preferences", i.e., with preferences over trajectory constraints involving metric time and possibly numerical fluents (hold-during, hold-after, within, always-within).