2017年计算机科学与技术学科系列学术报告之九

题 目：Knowledge Representation and Computer-Aided Theorem Discovery

主讲人： 林方真

时 间：6月17日（周六）上午9:30-10:30

地 点：信息工程学院东校区31-904

主讲人简介：

Fangzhen Lin is a Professor in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology. He is interested in AI, particularly in Knowledge Representation and Reasoning, and currently has related projects in computer program verification, game theory, and social choice theory. He received his PhD degree in computer science from Stanford University.

He is a Fellow of AAAI, and received the Croucher Foundation Senior Research Fellowship award in 2006, a Distinguished Paper Award at IJCAI-97, a Best Paper Award at KR-2000, an Outstanding Paper Honorable Mention at AAAI-04, the Ray Reiter Best Paper award at KR-06, and an Honorable Mention for his planner R at the AIPS-2000 planning competition. He had served as Associate Editor of Artificial Intelligence and Journal of AI Research, and was program co-chairs of IJCAI 2015 KR Track, KR 2010 and LPNMR'09.

报告简介：

Using examples from game theory, social choice theory, and software engineering, I will talk about how knowledge representation formalism can be used to help discover interesting and useful theorems.