Zhao, Kaiyue

1 publications

AAAI 2025 Goal-Driven Reasoning in DatalogMTL with Magic Sets Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemyslaw Andrzej Walega, Dingmin Wang, Hongming Cai, Pan Hu