6月22日，第7届华人学者知识表示与推理学术研讨会（The 7th Chinese Scholar Workshop on Knowledge Representation and Reasoning）在西南大学计算机与信息科学学院、软件学院召开。本次报告由学院副院长陈武主持，学院院长肖国强出席并致辞。计算机相关专业多位老师、研究生和本科生到场聆听，与海内外学者共享学术盛宴。

　　本次国际研讨会共邀请了阿尔伯塔大学犹嘉槐教授、格里菲斯大学王克文教授、香港科技大学林方真教授、纽约城市大学周能法教授、中科院沈一栋研究员、东南大学漆桂林教授、中山大学刘咏梅教授、西南大学刘志明教授等26位海内外的专家学者。研讨会共安排了15场精彩的报告，围绕程序验证、知识图谱、认知逻辑、回答集编程、描述逻辑等研究主题，与会者深入交流了自己团队一年以来取得的研究进展。针对当前由于机器学习和统计算法领域的显着成果所带来的人工智能全面复兴，与会者对知识表示与推理领域面临的挑战和机遇进行了讨论，并对下一步的工作形成了若干共识。

　　开幕式上，肖国强院长代表学院致欢迎辞，表达了对参加本次国际研讨会海内外专家的热烈欢迎。肖院长就学校和学院的历史、发展情况、本次研讨会的主旨等作了简要介绍，并诚挚祝愿研讨会取得圆满成功。

　　开幕式结束后，20位海内外知名学者分别围绕程序验证、知识图谱、认知逻辑、回答集编程、描述逻辑等研究主题带来学术报告。（通讯员 韩笑 郑劲松）