Skip to main content

Tractable Fragments of Datalog with Metric Temporal Operators

Egor V. Kostylev. Przemyslaw Walega Bernardo Cuenca Grau Mark Kaminski

Book Title
Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)
Year
2020