Zhenhe Cui

1
Papers
2
Total Citations

Papers (1)

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

AAAI 2025
2
citations