Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.

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

Browse the full AAAI paper archive.