近日，由北京航空航天大学和北航苏州创新研究院主办的第13届国际人工智能与符号计算会议（13thInternationalConferenceonArtificialIntelligenceandSymbolicComputation，AISC2018）在苏州清山会议中心召开。会议由欧洲科学院院士、北京航空航天大学教授王东明和德国卡尔斯鲁厄理工学院教授JacquesCalmet担任大会主席，英国爱丁堡大学教授JacquesFleuriot担任程序委员会主席。英国皇家科学院院士、爱丁堡大学教授AlanBundy，欧洲科学院外籍院士、南京大学教授周志华，纽约大学库朗研究所教授CheeK.Yap作大会特邀报告，英国巴斯大学教授JamesH.Davenport、加拿大劳里埃大学教授IliasS.Kotsireas、奥地利因斯布鲁克大学教授CezaryKaliszyk和北航陈肖宇博士作分会邀请报告。国内外近五十名专家学者参加了会议。

 

　　这次会议旨在交流、研讨人工智能、符号计算及其交叉领域中的理论、方法和应用，内容包括机器学习与智能系统中的符号计算方法、几何计算与智能机器人、算法数学与数学机械化、自动推理与计算智能、数据建模与分析、知识表示与获取、智能文档与群体智能等。会议论文集由Springer在LectureNotesinArtificialIntelligence系列中出版。
原文链接：http://www.miit.gov.cn/n1146290/n1146402/n1146445/c6406320/content.html