Temporal reasoning with DatalogMTL

Ein Vortrag von Przemysław Wałęga:
19.09.2023
11 a.m. – noon
TU Dresden, APB/3027 | BigBlueButton
Jetzt teilnehmen: https://bbb.tu-dresden.de/b/pio-zwt-smp-aus
https://iccl.inf.tu-dresden.de/web/Temporal_reasoning_with_DatalogMTL

Inhalt

During the talk, Przemysław Wałęga will present DatalogMTL – an extension of Datalog with operators from metric temporal logic (MTL) – and their research on this formalism. DatalogMTL allows for performing complex temporal reasoning tasks over the rational timeline, which makes it suitable for many practical applications. However, performing the main reasoning tasks in this setting is computationally expensive, e.g., fact entailment is EXPSPACE-complete in combined and PSPACE-complete in data complexity. High complexity, together with the need of performing reasoning over infinite temporal structures, makes developing practical algorithms for DatalogMTL challenging. He will describe their approaches to address these difficulties, and discuss their experimental evaluation.