22 citations · 34 across the 6 of their papers we have counts for
1 paper · 1 filter
Przemysław A. Wałęga, David J. Tena Cucala, Bernardo Cuenca Grau +1
We introduce negation under the stable model semantics in DatalogMTL - a temporal extension of Datalog with metric temporal operators. As a result, we obtain a rule language which…