AAAI 2025 paper

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus

2citations

2

Citations

#772

in AAAI 2025

of 3028 papers

6

Authors

1

Data Points

Authors

Liangda Fang Xiaoman Wang Zhang Chen Kailun Luo Zhenhe Cui Quanlong Guan

Citation History

Jan 27, 2026

2