Fang, L., Wang, X., Chen, Z., Luo, K., Cui, Z., & Guan, Q. (2025). A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), 14911–14921. https://doi.org/10.1609/aaai.v39i14.33635