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

Mathijs van Noort, Przemyslaw Andrzej Walega

Browse the full KR paper archive.