 Especially the latter link is rather remarkable since the subject matter of the given formalisms is quite different. While default logic deals with defeasible rules, i.e., rules that allow for exceptions (such as ‘Birds fly’), the non-monotonicity of autoepistemic logic is rooted in the indexicality of its autoepistemic belief operator  (Moore 1984,  Konolige 1988): it refers to the  autoepistemic theory into which it is embeded and hence its meaning may change when we add beliefs to the theory. 