Batusov, V. and Soutchanski, M. 2021. A Logical Semantics for PDDL+. Proceedings of the International Conference on Automated Planning and Scheduling. 29, 1 (May 2021), 40-48. DOI:https://doi.org/10.1609/icaps.v29i1.3548.