队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
研究方向：数据挖掘，形式化方法（招收数据挖掘，语义Web研究博士后）
主要研究数据挖掘（如Association,Classification,Clustering和RelationalDataMining），人工智能（如BayesianNetworks和SemanticWeb）以及逻辑程序设计的理论、方法、系统及应用。在软件形式化方面，探讨用逻辑程序理论进行模型验证。
三、学习经历
1991年获重庆大学计算机科学博士学位
1986年获重庆大学计算机科学硕士学位
1980年重庆大学计算机系专科毕业
四、工作经历
2002至今:中科院软件所计算机科学国家重点实验室研究员
1993-2002:重庆大学计算机系教授
1992-1993法国Valenciennes理工学院博士后
1995-1996美国Maryland大学高级计算机研究所访问学者
1998-2002加拿大Alberta大学和SimonFraser大学计算机系访问教授
1998年入选国家人事部百千万人才工程第一、二层次人选
1999年入选教育部跨世纪优秀人才培养计划
五、社会兼职
中国科学院研究生院兼职教授
六、研究成果与获奖情况
在人工智能、逻辑程序设计、数据挖掘等领域取得了有意义的研究结果，完成多项国家自然科学基金课题。与童頫教授合作的专著《知识工程》（科学出版社出版）获1996年电子工业部优秀教材一等奖，在国内外重要学术期刊和国际会议发表论文多篇。是在《ACMTransactionsonComputationalLogic》和《TheoryandPracticeofLogicProgramming》（新的国际逻辑程序设计协会会刊）上发表论文的第一位中国学者，是上述刊物以及《ACMTransactionsonProgrammingLanguagesandSystems》和《TheoreticalComputerScience》等刊物的审稿人。
七、代表论著
Shen,Y.D.(2008)ReasoningwithRecursiveLoopsunderthePLPFramework.ACMTransactionsonComputationalLogic9(4):27:1-31.
Du,J.F.andShen,Y.D.(2008)ComputingMinimumCostDiagnosestoRepairPopulatedDL-basedOntologies.TheSeventeenthInternationalWorldWideWebConference(WWW-08),Beijing,China,April2008.
Zhou,N.F.,Sato,T.andShen,Y.D.(2008)LinearTablingStrategiesandOptimizations.TheoryandPracticeofLogicProgramming8(1):81-109.
Sun,J.,Shen,Z.Y.,Li,H.,andShen,Y.D.(2008)ClusteringViaLocalRegression.TheEuropeanConferenceonMachineLearningandPrinciplesandPracticeofKnowledgeDiscoveryinDatabases(ECML/PKDD-08),Antwerp,Belgium,September2008.
Sun,J.,Zhao,W.B.,Xue,J.W.,Shen,Z.Y.,andShen,Y.D.(2008)ClusteringwithFeatureOrderPreferences.TheTenthPacificRimInternationalConferenceonArtificialIntelligence(PRICAI-08),Hanoi,Vietnam,December2008(BestStudentPaperRunner-UpAward).
Shen,Z.Y.,Sun,J.,andShen,Y.D.(2008)CollectiveLatentDirichletAllocation.TheEighthIEEEInternationalConferenceonDataMining(ICDM-08),Pisa,Italy,December2008.
Shen,Y.D.andYou,J.H.(2007)AGeneralizedGelfond-LifschitzTransformationforLogicProgramswithAbstractConstraints.TheTwenty-SecondAAAIConferenceonArtificialIntelligence(AAAI-07),Vancouver,Canada,July2007.
You,J.H.,Yuan,L.Y.,Liu,G.H.andShen,Y.D.(2007)LogicProgramswithAbstractConstraints:Representation,Disjunction,andComplexities.TheNinthInternationalConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR-07),Arizona,USA,May2007.
Shen,Y.D.andYang,Q.(2005)DerivingaStationaryDynamicBayesianNetworkfromaLogicProgramwithRecursiveLoops.TheFifteenthInternationalConferenceonInductiveLogicProgramming(ILP-05),Bonn,Germany,August2005.
Shen,Y.D.,You,J.H.andYuan,L.Y.(2004)EnhancingGlobalSLS-ResolutionwithLoopCuttingandTablingMechanisms.TheoreticalComputerScience328(3):271-287.
Shen,Y.D.,Shen,Z.Y.,Zhang,S.M.andYang,Q.(2004)ClusterCores-basedClusteringforHighDimensionalData.TheFourthIEEEInternationalConferenceonDataMining(ICDM-04),Brighton,UK,November2004.
Zhou,N.F.,Shen,Y.D.andSato,T.(2004)Semi-naiveEvaluationinLinearTabling.The6thACMSIGPLANInternationalConferenceonPrinciplesandPracticeofDeclarativeProgramming(PPDP-04),Verona,Italy,August2004.
Shen,Y.D.,You,J.H.,Yuan,L.Y.Shen,S.P.andYang,Q.(2003)ADynamicApproachtoCharacterizingTerminationofGeneralLogicPrograms.ACMTransactionsonComputationalLogic4(4):417-430.
Chan,R.,Yang,Q.andShen,Y.D.(2003)MiningHighUtilityItemsets.TheThirdIEEEInternationalConferenceonDataMining(ICDM-03),Florida,USA,November2003.
Shen,Y.D.,Yang,Q.andZhang,Z.,Objective-OrientedUtility-BasedAssociationMining.TheSecondIEEEInternationalConferenceonDataMining(ICDM-02),MaebashiCity,Japan,December,2002.
Shen,Y.D.,Yuan,L.Y.,You,J.H.,SLT-resolutionforthewellfoundedsemantics.JournalofAutomatedReasoning28:53-87(2002).
Shen,Y.D.,Yuan,L.Y.,You,J.H.,Loopchecksforlogicprogramswithfunctions.TheoreticalComputerScience266(1-2):441-461(2001).
Shen,Y.D.,Yuan,L.Y.,You,J.H.,Zhou,N.F.,LineartabulatedresolutionbasedonPrologcontrolstrategy.TheoryandPracticeofLogicProgramming1(1):71-103(2001).
Zhou,N.F.,Shen,Y.D.,Yuan,L.Y.,You,J.H.,Implementationoflinear-tablingmechanisms.JournalofFunctionalandLogicProgramming10:1-17(2001).
Shen,Y.D.,Yuan,L.Y.,You,J.H.,Zhou,N.F.,Lineartabulatedresolutionforthewellfoundedsemantics.Proc.ofthe5thInternationalConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR-99),TexasUSA,December1999.
Shen,Y.D.,Anextendedvariantofatomsloopcheckforpositivelogicprograms.NewGenerationComputing15:2(1997).
Shen,Y.D.,VerifyinglocalstratifiabilityoflogicprogramsanddatabasesII.NewGenerationComputing14:3(1996).
Shen,Y.D.,Verifyinglocalstratifiabilityoflogicprogramsanddatabases.NewGenerationComputing11:1(1992).
Shen,Y.D.,Disjunctivelogicandsemanticsofdisjunctivelogicprograms.ScienceinChinaSeriesE,40:1(1997).
Shen,Y.D.,AheuristicextensiontoReiter'sdiagnostictheory.ScienceinChinaSeriesE,40:5(1997).
Shen,Y.D.,Onthecompleteddatabasesemanticsfornegation.ScienceinChinaSeriesA,35:12(1992).
童頫，沈一栋,知识工程，《科学出版社》，1992。
八、承担项目
