1 paper
Kaiyue Zhao, Dingqi Chen, Shaoyu Wang +1
DatalogMTL extends the classical Datalog language with metric temporal logic (MTL), enabling expressive reasoning over temporal data. While existing reasoning approaches, such as m…