DatalogMTL with Negation Under Stable Models Semantics
Przemyslaw Andrzej Walega‚ David J. Tena Cucala‚ Egor V. Kostylev and Bernardo Cuenca Grau
Book Title
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
Year
2021