Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks. Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 1560-1568, AAAI Press, 2015. [doi]
@inproceedings{MotikNPH15a, title = {Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm}, author = {Boris Motik and Yavor Nenov and Robert Edgar Felix Piro and Ian Horrocks}, year = {2015}, url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9660}, researchr = {https://researchr.org/publication/MotikNPH15a}, cites = {0}, citedby = {0}, pages = {1560-1568}, booktitle = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA}, editor = {Blai Bonet and Sven Koenig}, publisher = {AAAI Press}, isbn = {978-1-57735-698-1}, }