Thirty Years of Nonmonotonic Reasoning, 22–25 October. tr 2011, 5 (1).