DatalogMTL over the Integer Timeline.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Browse the full KR paper archive.