Some tendencies in non-monotonic reasoning - Dix, Jürgen 1961- (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht)