計算機網絡和信息集成教育部重點實驗室（bet356手机版唯一官网）
bat365 首頁 實驗室概況 研究隊伍 人才培養 科學研究及主要成果 開放與交流 科研資源共享 運行管理
2015年學術報告 學術報告 開放課題設置 合作項目 舉辦學術會議 --- 2015年學術報告 --- Vicious Circle Principle and Logic Programs with Aggregates 時間： 地點：計算機樓4樓會議室 報告簡介：    In this talk, I'll present a knowledge representation language Alog which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of Alog and a comparison with other approaches. 報告人簡介：    Yuanlin Zhang is an Associate Professor of Computer Science at Texas Tech University. He obtained his Bachelor degree in Computer Science from Nanjing University of Science and PhD degree in Computer Science from National University of Singapore. His research interests are in Artificial Intelligence and its application in building intelligent software. His research has been published in venues such as AAAI, IJCAI and AI journal. Yuanlinworked as a Teaching Assistant in National University of Singapore for five years. He was a research staff at Cork Constraint Computation Center in University College Cork, Cork, Ireland, before he joined Computer Science Department of Texas Tech University, Lubbock, Texas.     bet356手机版唯一官网計算機網絡和信息集成教育部重點實驗室 版權所有