A Situation-Calculus Semantics for an Expressive Fragment of PDDL.

Jens Claen, Yuxiao Hu, Gerhard Lakemeyer

Browse the full AAAI paper archive.