报告题目：The Theory of Logical Forgetting: A Nonmonotonic Scenario
报告人：王以松（教授、博士、硕导）
时间：2015年7月7日（周五）14:00
地点：博学楼701
王以松教授简介
王以松，男，教授，博士，香港科技大学和加拿大Alberta大学博士后。研究领域：人工智能，形式化方法。
主持国家自然科学基金面上项目1项、贵州省优秀科技教育人才省长资金项目1项、贵州省自然科学基金项目1项。主持完成国家自然科学基金等省部级项目多项。
在JAIR、TCS、AMAI、JCST等国际学术刊物及IJCAI、AAAI、KR等国际学术会议发表论文20余篇。应邀担任IJCAI、AAAI、KR、LPNMR等国际会议程序委员会委员多次。获得2006年Ray Reiter最佳论文奖励。