| 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 |
| 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 |
| 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 | |||