第7届华人学者知识表示与推理学术研讨会
第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日
- 上一篇：没有了
- 下一篇：计信院前沿学术报告(2018-06-20)