个人简历返回

陈寅　讲师

姓名：陈寅
系别：计算机科学系
职称：讲师
学位及授予单位：博士、中山大学
学术特长（主要研究方向）：
知识表示与推理，逻辑程序设计，人工智能

学术活动（教学经历）：
1995年毕业于中国人民大学社会学系获法学学士学位
　　2001年毕业于中山大学软件研究所获理学硕士学位
　　2005年毕业于中山大学软件研究所获工学博士学位
　　2004年起就职于华南师范大学计算机学院



科研项目：
1.国家自然科学基金项目：一阶环和环公式在非经典逻辑计算中的理论和应用（项目编号60703095），项目负责人
　　2.广东省自然科学基金项目：一阶回答集求解器研究（项目编号：07300237），项目负责人


发表论文：

YinChen,FangzhenLin,YisongWangandMingyiZhang.First-OrderLoopFormulasforNormalLogicPrograms.ProceedingsoftheTenthInternationalConferenceonPrinciplesofKnowledgeRepresentationandReasoning(KR2006)，298-307（此论文被评为会议的优秀论文，并获得了RayReiter优秀论文奖）

FangzhenLin,YinChen.DiscoveringClassesofStronglyEquivalentLogicPrograms.JournalofArtificialintelligenceofResearch（JAIR）Vol.282007（此论文的简化版出现在ProceedingsoftheNineteenthInternationalJointConferenceonArtificialIntelligence(IJCAI2005):516-521）

YinChen,FangzhenLin,LeiLi.SELP-ASystemforStudyingStrongEquivalenceBetweenLogicPrograms.InProceedingsofthe8thInternationalConferenceonLogicProgrammingandNonMonotonicReasoning(LPNMR2005):442-446，2005

AbhayaC.Nayak,YinChen,FangzhenLin.ForgettingandKnowledgeUpdate.AustralianConferenceonArtificialIntelligence2006:131-140

HaiWan,YunxiangZheng,YinChen,LeiLi.BuildingBusinessProcessDescriptionandReasoningMeta-modelMbpinA-Prolog.SPW/ProSim2006:195-203

陈寅,李磊.综述：一般逻辑程序的证明论语义.计算机科学,2004.9

电子邮箱：Xqz1997@126.com
办公电话：13450223027

返回