Skip to main content

Finitely Materialisable Datalog Programs with Metric Temporal Operators

Przemyslaw Walega‚ Michal Zawidzki and Bernardo Cuenca Grau

Book Title
Proceedings of KR 2021
Year
2021