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

Browse the full AAAI paper archive.