Stratified negation in limit Datalog programs
Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks
Book Title
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)‚ Stockholm‚ Sweden‚ July 13−19‚ 2018
Year
to appear