演讲人：Frank van Harmelen and Zhisheng Huang，AI department (Faculty of Science) at the Vrije Universiteit Amsterdam, Netherland.

演讲时间：9月 9日（星期五） 下午3:00-5:00

演讲地点：中心楼105多媒体教室

个人简历：

Frank van Harmelen is a professor in Knowledge Representation & Reasoning in the AI department (Faculty of Science) at the Vrije Universiteit Amsterdam. After studying mathematics and computer science in Amsterdam, he moved to the Department of AI in Edinburgh, where he was awarded a PhD in 1989 for his research on meta-level reasoning. While in Edinburgh, he worked with Dr. Peter Jackson on Socrates, a logic-based toolkit for expert systems, and with Prof. Alan Bundy on proof planning for inductive theorem proving. After his PhD research, he moved back to Amsterdam where he worked from 1990 to 1995 in the SWI Department under Prof. Wielinga. He was involved in the REFLECT project on the use of reflection in expert systems, and in the KADS project, where he contributed to the development of the (ML)² language for formally specifying Knowledge-Based Systems.

In 1995 he joined the AI research group at the Vrije Universiteit Amsterdam, where he was appointed professor in 2002, and is leading the Knowledge Representation and Reasoning Group. Prof. Frank van Harmelen was the Conference Chair of ISWC2004, and he will chair the Semantic Web track in WWW2006

Zhisheng Huang is a senior researcher in the AI department (Faculty of Science) at the Vrije Universiteit Amsterdam. His areas of research are Artificial Intelligence and Multimedia. His main interests are: logical foundation of the Semantic Web, intelligent multimedia technology, formal theories of intelligent agents, and their implementation, applied logics for decision support systems, and reasoning about actions.