KB Professional

Programme Committee Membership (since 2008)

I am currently a regular member on the following PCs

SGAI (SGAI Int. Conf. on Innovative Techniques and Applications in AI)
SBIA (Brazilian Symposium on AI)
ICMLA (Int. Conf. on Machine Learning and Applications)
TICTTL (Int. Conf. on Tools for Teaching Logic)
IFIP AI (Artificial Intelligence in Theory and Practice)
KSEM (Int. Conf. on Knowledge Science, Engineering and Management)
ICTAI (IEEE Int. COnf. on Tools with Artificial Intelligence

and regular reviewer for

IJCAI (Int. Joint Conf. on Artificial Intelligence>
KR (Int. Conf. on Principles of Knowledge Representation and Reasoning)
EPSRC proposals

I am a co-investigator, together with several other members of the Logic and AI group, on a joint collaboration between Imperial and NII (National Institute of Informatics) Tokyo, led by Professor Ken Satoh at NII.