Skip to main content

DatalogMTL with Negation under Stable Model Semantics

Przemyslaw Walega‚ David Tena Cucala‚ Egor V. Kostylev and Bernardo Cuenca Grau

Book Title
Proceedings of KR 2021
Year
2021