Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau. DatalogMTL with Negation Under Stable Models Semantics. In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem 0001, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. pages 609-618, 2021. [doi]
Abstract is missing.