A Generalized QSQR Evaluation Method for Horn Knowledge Bases

Ewa Madalinska-Bugaj, Linh Anh Nguyen. A Generalized QSQR Evaluation Method for Horn Knowledge Bases. ACM Trans. Comput. Log., 13(4):32, 2012. [doi]

Abstract

Abstract is missing.