The Language for the Classical Part of the th International Planning Competition

This document de nes the language to be used in the classical part of the th International Planning Competition IPC The language comprises all of PDDL levels and as de ned by Maria Fox and Derek Long in parts of this document have been copied from that source On top of this language for IPC derived predicates are re introduced and timed initial literals are newly introduced into the competition language We give the syntax and semantics of these constructs