Transformation-Based Bottom-Up Computation of the Well-Founded Model

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…