A logical theory of nonmonotonic inference and belief change - Bochman, Alexander, 1955- (Artificial intelligence (Berlin, Germany), 2001)