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
Pages
1875–1881
Publisher
ijcai.org
Year
2018