Research Associate Computation Logic and Argumentation Department of Computing Imperial College London