Query-subquery nets for Horn knowledge bases in first-order logic

Son Thanh Cao, Linh Anh Nguyen. Query-subquery nets for Horn knowledge bases in first-order logic. J. Information Telecommunication, 1(1):79-99, 2017. [doi]

Abstract

Abstract is missing.