Belle, V., & Lakemeyer, G. (2011). A Semantical Account of Progression in the Presence of Uncertainty. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 165-170. https://doi.org/10.1609/aaai.v25i1.7858