Computational complexty in argumentation
Computational models of argumentation; negotiation and coalition structures in multiagent systems.
Generalised DNA computation with viable resources.
BIOTECHNOLOGY & BIOLOGICAL SCIENCE RESEARCH COUNCIL (BBSRC)
October 1999 - March 2002
Algorithmics for Agent Design and Verification.
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)
April 2002 - March 2005