Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau. Finitely Materialisable Datalog Programs with Metric Temporal Operators. In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem 0001, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. pages 619-628, 2021. [doi]
Abstract is missing.