Kailun Luo

1
papers
2
total citations

papers (1)

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

AAAI 2025arXiv
2
citations