2 papers
cs.LO2000
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…
cs.AI2000
Super Logic Programs
Stefan Brass, Juergen Dix, Teodor C. Przymusinski
The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotic formalism introduced by Teodor Przymusinski in 1994. In this paper, we specialize it to a class of t…