计算机科学技术名家讲座
（2014-39-41）
讲座题目：知识表示与知识推理系列学术报告
主 讲 人: Prof. Steffen Hölldobler，德国德累斯顿工业大学
1. A New Computational Logic Approach to Model Episodes of Human Reasoning
2. The Core Method — Connectionist Model Generation and its Application to Human Reasoning
讲座时间：11月3日（星期一）上午9:00
讲座地点：前卫南校区计算机大楼A521报告厅
3. SAT Solving — Generic CDCL, Iterative Partitioning, and Periodic Event Scheduling
讲座时间：11月4日（星期二）上午 10:00
讲座地点：李四光楼107
主办单位：
十大菠菜导航网
菠菜导航网计算机科学技术研究所
中国计算机学会菠菜导航网员工分会
欢迎广大师生踊跃参加！
Prof. Steffen Hölldobler is a Professor for Knowledge Representation and Reasoning in the Computer Science Department at the Technische Universität Dresden.
After graduating in Computer Science Steffen Hölldobler joined Alan Robinson's Logic Programming Research Group at the Syracuse University, USA, as a visiting research associate in 1983. Focusing on equational logic programming he received a Dr.rer.nat. from the University of the Federal Armed Forces at Munich, Germany, in 1988.
His research interests include logic and deduction, logic programming, knowledge representation and reasoning as well as connectionism. He is the author of four monographs and more than 80 scientific articles.
