1. Workshop Schedule

(1) Monday, 12 December, 2022
Time Activity Place
10:00-14:30 Registration online + offline (901, Institute of Guizhou Electromechanical Research and Design)
14:30-17:45 Presentations
18:00-20:00 Dinner Liu Laosan Restaurant
(2) Tuesday, 13 December, 2022
Time Activity Place
8:30-8:45 Welcome address online + offline (901, Institute of Guizhou Electromechanical Research and Design)
8:45-10:00 Presentations
10:00-10:30 Panel discussion
10:45-12:00 Presentations
12:00-14:00 Lunch Liu Laosan Restaurant
14:00-17:00 Presentations online + offline (901, Institute of Guizhou Electromechanical Research and Design)
17:00-18:00 Invited talk
18:00-18:15 Close ceremony
18:15-20:30 Dinner Himalayan Banquet Art Center

2. Detailed Program

Date Time Presentation/Activity Speaker Session Chair
12 Dec. 14:30-15:00 存在规则语言的程序表达力刻画 Heng Zhang Jianmin Ji
15:00-15:30 多模型求解非完全信息扩展式博弈合作均衡的策略梯度方法 Xiaomin Yu
15:30-16:00 基于逻辑查询的神经符号推荐模型 Bang Chen
16:00-16:30 Tea break
16:30-17:00 自动化软件工程:从软件需求到代码的自动生成 Yilong Yang Yuxin Ye
17:00-17:30 基于学术知识图谱的科学数据集推荐方法 Xu Wang
17:30-18:00 Fuzzy Multi-context Systems Lei Yang
18:00-20:00 Dinner
13 Dec. 8:45-9:00 Welcome address Danning Li
9:00-9:30 Hybrid MKNF: When is the Well-Founded Semantics Polynomial Time Computable? Jia-Huai You Yi-Dong Shen
9:30-10:00 Rule Learning over Knowledge Graphs with Genetic Logic Programming Lianlong Wu
Panel discussion
10:00-10:45 Pannels: Jia-Huai You, Yi-Dong Shen, Kewen Wang, Xiaoping Chen, Yan Zhang, Zhiming Liu, Yongmei Liu Topics (not limited): from theory to practice,
(1) The directions of KR
(2) The capabilities of KR scholars
(3) What (should) we learn from deep learning
Fangzhen Lin
10:45-11:00 Tea break
11:00-11:30 Abstractions for Generalized Planning Yongmei Liu Xiaoping Chen
11:30-12:00 空间知识图谱及应用 Yuxin Ye
12:00-14:00 Lunch
14:00-14:30 KR在智能机器人研究中面临的挑战和机遇 Xiaoping Chen Kewen Wang
14:30-15:00 Smart Traffic Control for the Era of Autonomous Driving Dongmo Zhang
15:00-15:30 ASP在机器人和自动驾驶的应用探索 Jianmin Ji
15:30-15:40 Tea break
15:40-16:10 Teach Mathematical Logic as the natural Foundation of Computer Science Zhiming Liu Yongmei Liu
16:10-16:40 Discovering Semantic Knowledge for Zero-Shot Learning Shiming Chen
16:40-17:00 Tea break
Invited talk / Zoom meeting room: 940 0665 2721
17:00-18:00 Enhancing AI Capabilities by Rules: Challenges and Opportunities Thomas Eiter Fangzhen Lin
18:00-18:15 Close ceremony Fangzhen Lin
18:15-20:00 Dinner

The whole program will be automatically recoreded and the presentation will be availabe at the website of the workshop. Please let us know if you prefer to no recording of your presentation, or unsharing your slides.

KRW-2022 wechat group ID: KRW@2022
Zoom meeting room ID:
Dec 13, 2022 16:30 AM Beijing, Shanghai
Join Zoom Meeting
Meeting ID: 940 0665 2721

Tencent meeting room ID:
会议时间: 2022/12/12 14:00-20:00 (GMT+08:00) 中国标准时间 - 北京
# 腾讯会议: 852-674-009

会议时间: 2022/12/13 08:30-20:30 (GMT+08:00) 中国标准时间 - 北京
# 腾讯会议: 882-681-125