Reflective Autoepistemic Logic and Logic Programming.

V. Wiktor Marek, Miroslaw Truszczynski

Browse the full LPNMR paper archive.