Thirty Years of Nonmonotonic Reasoning, 22–25 October. The Reasoner, v. 5, n. 1, 1 Jan.2011.