Over All, PDDL Semantics is Simultaneously Simple and Hard to Get Right.

Nicola Gigante, Andrea Micheli, Enrico Scala, Alessandro Valentini

Browse the full KR paper archive.