Knowledge representation and defeasible reasoning - Kyburg, Henry Ely, 1928-2007; Loui, Ronald P.; Carlson, Greg N., 1948- (Studies in cognitive systems ;, 1990)