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…