Nonmonotonic reasoning : logical foundations of commonsense - Brewka, Gerhard, 1955- (Cambridge Tracts in Theoretical Computer Science ;, 1991)