MoL-2008-04: Martijn Pennings A Konolige bridge between default logic and autoepistemic logic 1.Full Text, 2.Abstract. < Back