您的位置:首页 > 科学研究 > 学术科研

第7届华人学者知识表示与推理学术研讨会

发布时间:2018-06-20 来源:本站原创 作者:本站编辑   浏览次数:

 

第7届华人学者知识表示与推理学术研讨会

 

第7届华人学者知识表示与推理学术研讨会(The 7th Chinese Scholar Workshop on Knowledge Representation and Reasoning)将于2018年6月 21 - 23日在西南大学计算机与信息科学学院、软件学院25教0114报告厅举行。

本次国际研讨会邀请了香港科技大学林方真教授、加拿大阿尔伯塔大学犹嘉槐教授、纽约城市大学周能法教授、澳大利亚格里菲斯大学王克文教授、贵州科学院张明义研究员、中科院软件所沈一栋研究员、西南大学刘志明教授、吉林大学王献昌教授、东南大学漆桂林教授、中山大学刘咏梅教授等26位海内外的专家学者,以特邀报告、短报告、互动交流等方式,深入探讨知识表示与推理相关理论、方法和技术,旨在提高我国科研人员在该领域的研究能力。大会诚挚地邀请西南大学师生莅临本次会议!

详细的日程安排如下:

会议日程

日期

时间

会议流程

21日下午

14:00-17:30

报到(桂园宾馆大厅)

18:00

晚餐(桂圆酒楼)

 

日期

时间

报告人

学校

报告题目

22日上午

09:00-09:30

开幕式

Session Chair: 王献昌   教授  吉林大学

09:30-10:00

刘志明

西南大学

在发展人工智能和物联网软件中的分层和基于组件的体系结构

10:00-10:30

林方真

香港科技大学

机器定理发现

10:30-10:50

茶歇讨论

Session Chair: 万海  副教授  中山大学

10:50-11:20

周能法

纽约城市大学

基于Picat的XCSP解算器——从解析,建模到SAT编码

11:20-11:50

吉建民

中国科学技术大学

自动驾驶技术及安全模型

12:00

午餐(桂圆酒楼)

22日下午

Session Chair: 吉建民   副教授  中国科学技术大学

14:00-14:30

犹嘉槐

阿尔伯塔大学

关于存在主义规则案例程序的最新成果

14:30-15:00

万海

中山大学

稳定模型语义下Guarded存在规则查询回答问题

15:00-15:20

茶歇讨论

Session Chair:萧展豪  副研究员  中山大学

15:20-15:50

漆桂林

东南大学

知识图谱的表示问题探讨

15:50-16:20

申宇铭

广东外语外贸大学

时态知识图谱的若干表示学习模型

16:20-16:40

茶歇讨论

Session Chair: 申宇铭    教授   广东外语外贸大学

16:40-17:10

王献昌

吉林大学

关键任务控制系统中的知识表示与推理

17:10-17:40

刘咏梅

中山大学

包含公共知识的多智能体认知规划

18:00

晚餐

 

日期

时间

报告人

学校

报告题目

23日上午

Session Chair: 漆桂林  教授  东南大学

09:00-09:30

王克文

格里菲斯大学

通过学习表示法的可伸缩规则学习

09:30-10:00

王喆

格里菲斯大学

对有存在量词的规则的展开和遗忘

10:00-10:30

张小旺

天津大学

SPARQL语言的判定问题

10:30-10:50

茶歇讨论

Session Chair: 王喆  讲师  格里菲斯大学

10:50-11:20

萧展豪

中山大学

HTN规划中的分解方法补全

11:20-11:50

罗炜麟

中山大学

基于增量剪枝的prime implicant计算

12:00

午餐(桂圆酒楼)

23日下午

离会

 

*注:1,会议地点为西南大学25教学楼0114学术报告厅。

2,以上报告顺序仅供参考,如有变动将另行通知。

西南大学计算机与信息科学学院

                                          2018年6月20日