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
Ian Horrocks. Mark Kaminski Egor V. Kostylev Bernardo Cuenca Grau