57 citations · 166 across the 21 of their papers we have counts for
1 paper · 2 filters
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…