讲座题目：知识表示与知识推理系列学术报告
主 讲 人: Prof. Steffen Hölldobler，德国德累斯顿工业大学
1. A New Computational Logic Approach to Model Episodes of Human Reasoning
讲座时间：11月3日（星期一）上午9:00
26114133. The Core Method — Connectionist Model Generation and its Application to Human Reasoning
讲座地点：前卫南校区计算机大楼A5261141331报告厅
3. SAT Solving — Generic CDCL, Iterative Partitioning, and Periodic Event Scheduling
讲座时间：11月4日（星期二）上午 10:00
讲座地点：前卫南校区计算机大楼A5261141331报告厅
主办单位：
永乐高60net计算机科学与技术学院
永乐高60net计算机科学技术研究所
中国计算机学会永乐高60net学生分会
注：以上信息来源于校内办公，若有变动请及时通知！ 电话：85166975
