計算機科學技術名家講座
（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
主辦單位：
伟德国际BETVlCTOR
伟德国际BETVlCTOR計算機科學技術研究所
中國計算機學會伟德国际BETVlCTOR學生分會
歡迎廣大師生踴躍參加！
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.
