从1,500,000教师库中查找（输入学校名称或教师姓名）
陈寅老师介绍
1995年毕业于中国人民大学 社会学系 获法学学士学位
2001年毕业于中山大学软件研究所 获理学硕士学位
2005年毕业于中山大学软件研究所 获工学博士学位
2004年起就职于华南师范大学计算机学院
--------------------------------------------------------------------------------
研究方向
知识表示与推理，逻辑程序设计，人工智能
--------------------------------------------------------------------------------
学术论文
Yin Chen, Fangzhen Lin, Yisong Wang and Mingyi Zhang. First-Order Loop Formulas for Normal Logic Programs. Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR2006)，298-307（此论文被评为会议的优秀论文，并获得了Ray Reiter 优秀论文奖）
Fangzhen Lin, Yin Chen. Discovering Classes of Strongly Equivalent Logic Programs. Journal of Artificial intelligence of Research（JAIR） Vol.28 2007（此论文的简化版出现在Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005): 516-521）
Yin Chen, Fangzhen Lin, Lei Li. SELP - A System for Studying Strong Equivalence Between Logic Programs. In Proceedings of the 8th International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR 2005): 442-446，2005
Abhaya C. Nayak, Yin Chen, Fangzhen Lin. Forgetting and Knowledge Update. Australian Conference on Artificial Intelligence 2006: 131-140
Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li. Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. SPW/ProSim 2006: 195-203
陈寅, 李磊. 综述：一般逻辑程序的证明论语义. 计算机科学, 2004.9.
--------------------------------------------------------------------------------
科研项目
国家自然科学基金项目：一阶环和环公式在非经典逻辑计算中的理论和应用（项目编号60703095），项目负责人
广东省自然科学基金项目：一阶回答集求解器研究（项目编号：07300237），项目负责人
2001年毕业于中山大学软件研究所 获理学硕士学位
2005年毕业于中山大学软件研究所 获工学博士学位
2004年起就职于华南师范大学计算机学院
--------------------------------------------------------------------------------
研究方向
知识表示与推理，逻辑程序设计，人工智能
--------------------------------------------------------------------------------
学术论文
Yin Chen, Fangzhen Lin, Yisong Wang and Mingyi Zhang. First-Order Loop Formulas for Normal Logic Programs. Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR2006)，298-307（此论文被评为会议的优秀论文，并获得了Ray Reiter 优秀论文奖）
Fangzhen Lin, Yin Chen. Discovering Classes of Strongly Equivalent Logic Programs. Journal of Artificial intelligence of Research（JAIR） Vol.28 2007（此论文的简化版出现在Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005): 516-521）
Yin Chen, Fangzhen Lin, Lei Li. SELP - A System for Studying Strong Equivalence Between Logic Programs. In Proceedings of the 8th International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR 2005): 442-446，2005
Abhaya C. Nayak, Yin Chen, Fangzhen Lin. Forgetting and Knowledge Update. Australian Conference on Artificial Intelligence 2006: 131-140
Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li. Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. SPW/ProSim 2006: 195-203
陈寅, 李磊. 综述：一般逻辑程序的证明论语义. 计算机科学, 2004.9.
--------------------------------------------------------------------------------
科研项目
国家自然科学基金项目：一阶环和环公式在非经典逻辑计算中的理论和应用（项目编号60703095），项目负责人
广东省自然科学基金项目：一阶回答集求解器研究（项目编号：07300237），项目负责人
陈寅老师相关教学资源
