Skip to main content

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog

Mark Kaminski‚ Egor V. Kostylev‚ Bernardo Cuenca Grau and Ian Horrocks.

Book Title
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)
Year
2020