Vicious Circle Principle and Logic Programs with Aggregates

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.

计算机网络和信息集成教育部重点实验室（东南大学）