DatalogMTL over integer timeline (Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning—Main Track, 2020)

(untitled) - Walega, PA; Cuenca Grau, B; Kaminski, M; Kostylev, EV