Skip to main content

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog

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

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