Complexity and expressive power of disjunction and negation in limit Datalog
Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev and Ian Horrocks
Book Title
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)‚ New York‚ New York‚ USA‚ February 9–12‚ 2020
Year
2020