Nicola J. Gibbons Darren K. Griffin Antonis C. Kakas Kavita Shah Peter Spencer