Ø 个人简介
陈寅，工学博士，现就职于华南师范大学人工智能学院，副教授，华南师范大学人工智能学院副院长。主要的研究领域为人工智能，知识的表示与推理和逻辑程序等。在主要的人工智能期刊AIJ，JAIR和国际会议IJCAI，AAAI和KR上均有论文发表。主持过两个国家自然科学基金项目和一个广东省自然科学基金项目。更多信息请见学者主页。
Yin Chen, Associate Professor in School of Artificial Intelligence, South China Normal University, where he holds the position of Associate Professor and serves as the Deputy Dean of the School. His main research areas include artificial intelligence, knowledge representation and reasoning, and logic programming. He has published papers in major AI journals such as AIJ and JAIR, as well as international conferences like IJCAI, AAAI, and KR. He has led two National Natural Science Foundation projects and one Guangdong Province Natural Science Foundation project. For more information, please visit his academic homepage.
Ø 教育背景
中山大学 软件研究所 博士2001-2005
中山大学 软件研究所 硕士 1998-2001
中国人民大学 社会学系 学士 1991-1995
MS and Phd, Software institute, Sun Yat-Sen University. 2005
BA, Department of Sociology, Renmin University, 1995
Ø 工作经历
2004至今，华南师范大学
1995-1998，温州大学
2004-now, Department of Computer Science, South China Normal University
1995-1998, Wenzhou University
Ø 研究领域
人工智能 , 知识表示与推理 , 逻辑程序设计等。目前的研究兴趣主要包括
（1）回答集程序的理论和应用
（2）析取逻辑程序，缺省逻辑和2QBF等第二层复杂度问题的研究
（3）基于一阶逻辑的定理发现
Research interests:
（1） Answer set programming and its application
（2）Disjunctive logic program, Default Logic, 2-QBF and other problems whose complexity is on the second level of polynomial hierarchy
（3）Computer aided theorem discovery
Ø 科研项目
[1]国家自然科学基金面上项目（611730102012.1-2015.12. 析取逻辑程序，命题缺省逻辑及其它相同复杂度问题的研究. 2012.01.
[2]国家自然科学基金青年基金（60703095），2008.1-2010.12. 一阶环和环公式在非经典逻辑计算中的理论和应用. 2008.01.
[3]广东省自然科学基金博士启动基金（07300237），2007.10-2009.10. 一阶回答集求解器研究. 2007.10.
Ø 期刊论文
[1]Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou. Ordered Completion for Logic Programs with Aggregates. Artificial Intelligence, Accepted
[2]Yin Chen, Fangzhen Lin, Yan Zhang and Yi Zhou. Loop‐separable programs and their first‐order. Artificial Intelligence, Volumn 175(3‐4), pages 890‐913
[3]吕勇全,陈寅,邬家炜,庄伟杰. 基于回答集程序的排课系统设计与实现. 计算机技术与发展,2010(06)
[4]Fangzhen Lin and Yin Chen. Discovering classes of strongly equivalent logic programs. Journal of Artificial Intelligence Research, Volumn 28
[5]陈寅,李磊. 综述:一般逻辑程序的证明论语义计算机科学,2004(09):152-156
Ø 会议论文
[1]Yin Chen, Hai Wan, Yan Zhang and Yi Zhou. dl2asp: Implementing Default Logic via Answer Set. Proceedings of the 12th European Conference on Logics in Artificial Intelligence(JELIA2010)
[2]Yin Chen, Yan Zhang and Yi Zhou. First‐order indefinability of answer set programs on finite structures. Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI2010)
[3]Yin Chen, Fangzhen Lin, YisongWang and Mingyi Zhang. First‐Order Loop Formulas for Normal Logic Programs. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006)
[4]Yin Chen, Fangzhen Lin and Lei Li. SELP ‐ A System for Studying Strong Equivalence between Logic Programs. Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR2005)
Ø 开设课程
离散数学 面向本科生的离散数学课程
Ø 联系方式
Email：ychen@scnu.edu.cn