De Giacomo, G., Lesperance, Y., & Mancanelli, M. (2026). Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus. Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), 19047–19054. https://doi.org/10.1609/aaai.v40i23.38977