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