讲座题目：知识表示与知识推理系列学术报告

主 讲 人: Prof. Steffen Hölldobler，德国德累斯顿工业大学

1. A New Computational Logic Approach to Model Episodes of Human Reasoning

讲座时间：11月3日（星期一）上午9:00

2. The Core Method — Connectionist Model Generation and its Application to Human Reasoning

讲座地点：前卫南校区计算机大楼A521报告厅

3. SAT Solving — Generic CDCL, Iterative Partitioning, and Periodic Event Scheduling

讲座时间：11月4日（星期二）上午 10:00

讲座地点：前卫南校区计算机大楼A521报告厅

主办单位：

吉林大学计算机科学与技术学院

吉林大学计算机科学技术研究所

中国计算机学会吉林大学学生分会

注：以上信息来源于校内办公，若有变动请及时通知！ 电话：85166975