People

Graham is a PhD student, currently in his 2nd year, at the SPIKE group, Imperial College London, funded by a PhD teaching fellowship. His research is currently focus on novel methods for reasoning about ontologies, detect inconsistencies and automated processes for revision of inconsistent ontologies with application in business processes, and semantic web. He also working on developing tools for these novel approaches in Answer Set Programming.

Mark Law is a PhD student who has joined the SPIKE group, Imperial College London in October 2013.  His research is currently focused on learning ASP programs, i.e. logic programs with aggregates, constraints and optimisation statements. This problem has never been tackled before and its solutions will provide automated mechanisms for combining knowledge extraction and optimisations. His broader research interests include also applications of machine learning to games.