A generalized QSQR evaluation method for Horn knowledge bases

DOI10.1145/2362355.2362360MaRDI QIDQ2946681zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

Horn knowledge basesQSQR evaluation method

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• On the efficiency of query-subquery nets with right/tail-recursion elimination in evaluating queries to Horn knowledge bases
• An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases
• A generalization of the differential approach to recursive query evaluation
• scientific article; zbMATH DE number 4049156
• On the top-down method of establishment of the deducibility in logical databases

Cited in

(2)

• On the efficiency of query-subquery nets with right/tail-recursion elimination in evaluating queries to Horn knowledge bases
• An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases

Describes a project that uses

Uses Software

• XSB

This page was built for publication: A generalized QSQR evaluation method for Horn knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946681)