Credulous and Autoepistemic Reasoning Using Ordered Logic.

P. Geerts, Dirk Vermeir

Browse the full LPNMR paper archive.