31 citations · 91 across the 17 of their papers we have counts for
1 paper · 1 filter
Linh Anh Nguyen, Son Thanh Cao
We formulate query-subquery nets and use them to create the first framework for developing algorithms for evaluating queries to Horn knowledge bases with the properties that: the a…