Tractable Fragments of Datalog with Metric Temporal Operators
Przemyslaw Walega‚ Bernardo Cuenca Grau‚ Mark Kaminski and Egor V. Kostylev.
Book Title
Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)
Year
2020