TY  - RPRT
TI  - Practical Reasoning in DatalogMTL
AU  - Dingmin Wang
AU  - Przemysław A. Wałęga
AU  - Pan Hu
AU  - Bernardo Cuenca Grau
PY  - 2024
DO  - 10.1017/s1471068424000164
UR  - https://arxiv.org/abs/2401.02869
ID  - 2401.02869
ER  -