Inductive Logic, 12–13 September (The Reasoner, 2012)