A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Automatic Verification of Sound Abstractions for Generalized Planning.
CoRR, 2022
A Uniform Abstraction Framework for Generalized Planning.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Conjugacy relations of prefix codes.
Theor. Comput. Sci., 2016