Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog

Mathijs van Noort; Przemysław Andrzej Wałęga

doi:10.24963/kr.2026/73

KR2026

Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog

Mathijs van Noort(Ghent University - imec)
Przemysław Andrzej Wałęga(Queen Mary University of London)

Bibtex record

@inproceedings{KR2026-73,
    title     = {{Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog}},
    author    = {van Noort, Mathijs and Wałęga, Przemysław Andrzej},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {775--785},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/73},
    url       = {https://doi.org/10.24963/kr.2026/73},
  }

Go back