3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
C. A. Johnson
A method is presented for computing minimal answers in disjunctive deductive databases under the disjunctive stable model semantics. Such answers are constructed by repeatedly exte…