知识就是力量。知识表示与推理是人工智能的一个经典分支，研究知识的获取、表达和推理；知识图谱是知识的一种现代的组织方式，近年来受到学术界和工业界的极大关注。在中国科学院数学与系统科学研究院领导的鼓励和支持下，我们邀请了六位人工智能领域的著名学者和青年才俊开展以知识图谱为热点，知识推理与知识表示之间的对话，旨在推动国内相关领域的研究。热烈欢迎各位同行和感兴趣的青年学生、工业界人士参加！会议无注册费。 

　　会议名称：Symposium on Frontiers of Artificial Intelligence 2018 (Spring) 

　　会议时间：2018年5月19日（星期六） 

　　会议地点：北京市海淀区中关村东路55号（近保福寺桥） 中国科学院数学与系统科学研究院思源楼(老楼) 一楼会议大厅 

　　会议组织者：李三江教授（ 悉尼科技大学） 张松懋研究员 （中科院数学与系统科学研究院）  

　　会议报告包括： 

　　Machine Theorem Discovery 

　　Fangzhen Lin （林方真） 

　　Hong Kong University of Science and Technology, Hong Kong 

　　Strong Spatial Cognition -- A new AI paradigm for spatial problem solving 

　　Christian Freksa  

　　Bremen Spatial Cognition Center, University of Bremen 

　　Ontology-based data access: Walking the tightrope between efficiency and expressiveness 

　　Heng ZHANG （章衡） 

　　Tianjin University 

　　An introduction to the AI group at the Institute of Mathematics CAS 

　　Songmao Zhang （张松懋） 

　　AMSS, CAS 

　　Applications of knowledge representation on conversational system 

　　Xiaoyan Zhu （朱小燕） 

　　Tsinghua University  

　　Knowledge representation and reasoning for knowledge graphs: theory and practice 

　　Guilin Qi （漆桂林） 

　　Southeast University  

　　Representation Learning for Large-Scale Knowledge Graphs 

　　Zhiyuan Liu（刘知远） 

　　Tsinghua University