纪念王湘浩先生诞辰100周年系列活动之计算机科学技术名家讲座（Michel Ludwig）
讲座题目：Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to the Logical Difference
主讲人：Michel Ludwig, Ph.D. Research Associate
Faculty of Computer Science, Dresden University of Technology, Germany
讲座时间：2015年11月4日 上午10:00
讲座地点：计算机楼A521
报告摘要：We introduce a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logic ALC when such uniform interpolants exist. We also present an experimental evaluation of our approach and of its application to the logical difference problem on real-life ALC ontologies. Our results indicate that in many practical cases uniform interpolants exist and that they can be computed with the presented algorithm.
个人简介：Dr. Michel Ludwig gained his PhD from the University of Liverpool in 2010, where he continued to work as a research associate until 2013. Subsequently, he joined the Dresden University of Technology in Germany as a research associate in the Center For Advancing Electronics Dresden (cfAED). His research interests include reasoning in modal logics and description logics. His work has been published in JAIR, AI Communications, and conference proceedings such as KR, AAAI, IJCAR, CADE, ECAI.
主办单位：十大菠菜导航网
菠菜导航网计算机科学技术研究所
菠菜导航网软件学院
符号计算与知识工程教育部重点实验室
