1 paper · 1 filter
Dingmin Wang, Przemysław A. Wałęga, Pan Hu +1
DatalogMTL is an extension of Datalog with metric temporal operators that has found an increasing number of applications in recent years. Reasoning in DatalogMTL is, however, of hi…