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