DatalogMTL with Negation under Stable Model Semantics

Przemyslaw Walega‚ David Tena Cucala‚ Egor V. Kostylev and Bernardo Cuenca Grau