Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk)

Przemyslaw Andrzej Walega. Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). In Pietro Sala, Michael Sioutis, Fusheng Wang 0001, editors, 31st International Symposium on Temporal Representation and Reasoning, TIME 2024, October 28-30, 2024, Montpellier, France. Volume 318 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.