TY  - RPRT
TI  - Goal-Driven Reasoning in DatalogMTL with Magic Sets
AU  - Shaoyu Wang
AU  - Kaiyue Zhao
AU  - Dongliang Wei
AU  - Przemysław Andrzej Wałęga
AU  - Dingmin Wang
AU  - Hongming Cai
AU  - Pan Hu
PY  - 2026
UR  - https://arxiv.org/abs/2412.07259
ID  - 2412.07259
ER  -