3 citations · 3 across the 1 of their papers we have counts for
1 paper
Stefan Brass, Juergen Dix, Burkhard Freitag +1
We present a framework for expressing bottom-up algorithms to compute the well-founded model of non-disjunctive logic programs. Our method is based on the notion of conditional fac…