@inproceedings{10.24963/kr.2021/58, title = "DatalogMTL with Negation Under Stable Models Semantics", author = "Przemyslaw Andrzej Walega and David J. Tena Cucala and Egor V. Kostylev and Bernardo Cuenca Grau", year = "2021", booktitle = "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021", editor = "Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem", pages = "609--618", url = "https://doi.org/10.24963/kr.2021/58", doi = "10.24963/kr.2021/58", }