Wang, Xiaoman

1 publications

AAAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan