A Generalized QSQR Evaluation Method for Horn Knowledge Bases
From MaRDI portal
Publication:2946681
DOI10.1145/2362355.2362360zbMath1352.68238OpenAlexW2164475654MaRDI QIDQ2946681
Ewa Madalińska-Bugaj, Linh Anh Nguyen
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2362355.2362360
Database theory (68P15) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)
Related Items
An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases ⋮ On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases
Uses Software