Stratified Negation in Limit Datalog Programs.

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

Browse the full IJCAI paper archive.