A Situation-Calculus Semantics for an Expressive Fragment of PDDL. Classen, J.; Hu, Y.; and Lakemeyer, G. 2007.In Proceedings of the Twentysecond Conference on Artificial Intelligence (AAAI-07), AAAI Press.to appear A Situation-Calculus Semantics for an Expressive Fragment of PDDLBibtex