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)











 (Latest update: 30/09/2009)