A Default Logic Based on Epistemic States.

John-Jules Ch. Meyer Wiebe van der Hoek A Default Logic Based on Epistemic States. 33-65 1995 23 Fundam. Inform. 1 db/journals/fuin/fuin23.html#MeyerH95