Kaiyue Zhao — accepted AI-conference papers

2026

Incremental Maintenance of DatalogMTL Materialisations

Kaiyue Zhao, Dingqi Chen, Shaoyu Wang, Pan Hu

AAAI 2026technical

DatalogMTL extends the classical Datalog language with metric temporal logic (MTL), enabling expressive reasoning over temporal data. While existing reasoning approaches, such as materialisation-based and automata-based methods, offer soundness and completeness, they lack support for handling effici

Cited by 0 Source ↗PDF ↗Scholar ↗

2025

Goal-Driven Reasoning in DatalogMTL with Magic Sets

Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemysław Andrzej Wałęga, Dingmin Wang, Hongming Cai +1

AAAI 2025technical

DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applications, including tasks from industrial and financial sectors. However, due its high computational complexity, practical…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗