沈榆平,1980年12月出生,籍贯广东省梅州市,中山大学哲学系与法国马赛二大计算机系联合培养博士生专业方向:数理逻辑及应用,研究兴趣:知识表示与推理,非单调逻辑,逻辑程序,计算复杂性
发表论文有:
[1]ReasoningaboutactioninTimedDomains.YupingShen,GuangruiDangandXishun
Zhao.Intheproceedingsof13thInternationalWorkshoponNon-nomotonicReasoning,2010Toronto,Canada.
[2]ATimedActionLanguage.YupingShenandXishunZhao,Intheproceedingsof
ReasoningaboutTimeandSpace,2008,Montpellier,France.
[3]AnAnswerSetProgrammingSystemwithCycleBreakingHeuristics,沈榆平
赵希顺,软件学报,Vol.19,No.4,869~878,2008
[4]ConsistencyPropertyofFiniteFC-NormalLogicPrograms.Yi-SongWang,Ming-YiZhang,andYu-PingShen,JournalofComputerScienceandTechnology,22(4):554-561July2007
[5]ComparisonofSemanticsofDisjunctiveLogicProgramsBasedonModel-EquivalentReduction.Xi-ShunZhaoandYu-PingShen,JournalofComputerScienceandTechnology,22(4):562~568July2007
[6]IntegratingNonmonotonicandTemporalConstraintReasoning,沈榆平赵希顺(187)南京大学学报:数学半年刊vol.24No.2,2007