My research is about ontology revision for agent systems. Ontology is a formal way to represent knowledge in agent systems. To deal with contradictory ontologies, a mechanism to detect contradictions and maintain consistency in agents' knowledge base is necessary.
Currently I am a TA (demonstrator) in G51PRG module, Autumn 2009.
(To be updated)