Computational Models of Argument, 10–12 September (The Reasoner, 2012)