Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks. Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. pages 2862-2869, AAAI Press, 2020. [doi]
Abstract is missing.