On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases

Son Thanh Cao. On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases. In Hoai An Le Thi, Ngoc Thanh Nguyen, Tien Van Do, editors, Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015, Metz, France, 11-13 May, 2015. Volume 358 of Advances in Intelligent Systems and Computing, pages 243-254, Springer, 2015. [doi]

Abstract

Abstract is missing.