A tutorial on default logics

Several variants have been developed over the past years, either to overcom e some perceived deficiencies of the original presentation, or to realize s omewhat different intuitions. This paper provides a tutorial-style introduc tion to some important approaches of Default Logic. The presentation is bas ed on operational models for these approaches, thus making them more easily accessible to a broader audience, and more easily usable in practical appl ications.