Uniform semantic treatment of default and autoepistemic logic.

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski

Browse the full KR paper archive.