Finitely Materialisable Datalog Programs with Metric Temporal Operators
Bernardo Cuenca Grau Przemysław A. Wałęga Michał Zawidzki
Book Title
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning — Full Papers — Main Track
Editor
Meghyn Bienvenu‚ Gerhard Lakemeyer‚ Esra Erdem
Pages
619–628
Publisher
IJCAI Organization
Year
2021