TY  - RPRT
TI  - A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
AU  - Liangda Fang
AU  - Xiaoman Wang
AU  - Zhang Chen
AU  - Kailun Luo
AU  - Zhenhe Cui
AU  - Quanlong Guan
PY  - 2025
UR  - https://arxiv.org/abs/2412.11217
ID  - 2412.11217
ER  -