計算機網絡和信息集成教育部重點實驗室（bet356手机版唯一官网）
bat365 首頁 實驗室概況 研究隊伍 人才培養 科學研究及主要成果 開放與交流 科研資源共享 運行管理
2012年學術報告 學術報告 開放課題設置 合作項目 舉辦學術會議 --- 2012年學術報告 --- Declarative problem solving: language, reasoning, and applications 時間：2012年7月2日 地點：九龍湖校區計算機樓413室 報告簡介：     Significant advances have been made in declarative programming (including constraint programming etc.), its modeling methodology and efficient reasoning algorithms and implementations, and its success in many critical and exciting applications such as software/hardware verification, aerospace exploration and transportation. In this talk, Zhang will cover his recent and ongoing research in the design of declarative programming languages, some interesting reasoning algorithms and potential new applications. 報告人簡介：     Yuanlin Zhang Obtained his PhD degree from National University of Singapore. His research interests are in designing declarative programming languages, developing efficient inference algorithms for these languages, and applying these programming systems to challenging problems in Artificial Intelligence and application domains including health care, robots and education. He has published a lot of papers in IJCAI, AAAI, etc.     bet356手机版唯一官网計算機網絡和信息集成教育部重點實驗室 版權所有