FANG, Liangda; WANG, Xiaoman; CHEN, Zhang; LUO, Kailun; CUI, Zhenhe; GUAN, Quanlong. A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 39, n. 14, p. 14911–14921, 2025. DOI: 10.1609/aaai.v39i14.33635. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/33635. Acesso em: 28 may. 2026.