Nonmonotonic reasoning : - Brewka, Gerhard (CSLI lecture notes, 1997)