陈寅，华南师范大学 计算机学院-尊龙凯时官方app下载

陈寅，现就职于华南师范大学人工智能学院和计算机学院，副教授。主要的研究领域为人工智能，知识的表示与推理和逻辑程序等。在主要的人工智能期刊aij，jair和国际会议ijcai，aaai和kr上均有论文发表。主持过两个国家自然科学基金项目和一个广东省自然科学基金项目。

目前的研究兴趣包括：
1 回答集程序的理论和应用
2 析取逻辑程序，缺省逻辑和2qbf等第二层复杂度问题的研究
3 基于一阶逻辑的定理发现

中山大学 软件研究所 博士2001-2005中山大学 软件研究所 硕士 1998-2001中国人民大学 社会学系 学士 1991-1995

2004至今，华南师范大学
1995-1998，温州大学

离散数学 面向本科生的离散数学课程 2015.3-2016.1

人工智能 , 知识表示与推理 , 逻辑程序设计

introduction

yin chen, associate professor in school of computer science, south china normal university.

education:
ms and phd, software institute, sun yat-sen university. 2005
ba, department of sociology, renmin university, 1995

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

education

ms and phd, software institute, sun yat-sen university. 2005

ba, department of sociology, renmin university, 1995

work experience

1 2004-now, department of computer science, south china normal university

2 1995-1998, wenzhou university