計算機科學與技術名家講座系列報道
知識表示與知識推理是智能信息處理的基礎，在計算機科學的衆多領域有着廣泛應用。2014年11月3日至4日，受伟德国际BETVlCTOR副院長歐陽繼紅教授、計算機研究所副所長梁豔春教授的邀請，德國德累斯頓工業大學Steffen Holldobler教授來到我校為同學們做了知識表示與知識推理系列的學術報告。
Steffen Holldobler是德國德累斯頓工業大學計算機科學系的資深教授，其研究領域包括邏輯與演繹、邏輯編程、知識表示與推理以及連接機制。11月3日上午9:00，Steffen教授在前衛南校區計算機大樓A521報告廳做了題目分别為A New Computational Logic Approach to Model Episodes of Human Reasoning和The Core Method — Connectionist Model Generation and its Application to Human Reasoning的兩場報告，分别介紹了一種新型計算邏輯方法和一種用于關聯模型生成的核心方法。11月4日上午10:00，Steffen教授在李四光樓107教室做了題目為SAT Solving — Generic CDCL, Iterative Partitioning, and Periodic Event Scheduling的報告，講解了SAT求解相關問題的若幹方法。
報告結束後，Steffen教授耐心細緻地回答了同學們的問題，與老師和同學們進行了良好的溝通交流。他嚴謹的學術風格和現場輕松的氣氛給同學們留下了深刻的印象。報告拓寬了同學們的學術視野，增強了同學們對邏輯與推理領域的相關知識的理解。
Steffen教授在做報告
Steffen教授回答同學們的問題
