应IDC实验室李瑞轩教授邀请，澳大利亚西悉尼大学张焰教授将于2012年5月24日（周四）上午来计算机学院举行专题讲座，欢迎广大师生参加。

讲座题目：Foundations of First-order Answer Set Programming

讲座时间：2012年5月24日（周四）上午10：00开始
讲座地点：计算机学院会议室（南1楼433室）

讲座题目：Foundations of First-order Answer Set Programming

Yan Zhang
Artificial Intelligence research Group
University of Western Sydney

讲座摘要：
First-order answer set programming extends traditional propositional answer set programming in the way that the semantics for logic programs with variables is defined via second-order logic, while grounding is no longer needed in computing a program's answer set.

This talk addresses the first-order definability problem of answer set programming. In particular, we provide an alternative progression semantics from which we provide a precise characterization about normal firtst-order logic programs' first-order definability problem. We then prove that under finite structures, every normal first-order logic program can be translated into a first-order sentence by adding auxiliary predicate symbols - this result provides us a theoretical basis for developing a new ASP solver.

讲者简介：
Yan Zhang is a professor in University of Western Sydney, where he leads the university research group on Artificial Intelligence. Yan's research interests include knowledge representation and reasoning, model checking and update, and information security. In recent years he has been focusing his study on logic foundations of first-order answer set programming. Yan and his colleagues and students have published a number of high standard publications on this topic, and developed two first-order ASP solvers.

http://www.scm.uws.edu.au/~yan/