沈榆平




籍贯：广东省梅州市
获得学位：中山大学逻辑学博士
简历：2009-2011 中山大学信息科学学院 博士后
? ? ? ?　2007-2008 中山大学/法国马赛第二大学 联合培养 博士生
? ?　　2004-2008 中山大学逻辑与认知研究所 博士生
? ?　　2002-2004 ?中山大学 逻辑与认知研究所 硕士生
? ?　　1998-2002 ?广东工业大学 建设学院 本科生
任职：2015年起任中山大学哲学系副教授
研究方向：知识表示与推理，逻辑与计算
邮箱：shyping@mail.sysu.edu.cn
办公电话：

---

近年担任国际会议委员PC member of SAT2016
PC member of AAAI 2016
PC member of IJCAI2015 (KR-Track)

---

承担课程?本科生课程 《数理逻辑导论》
《计算理论导论》
研究生课程 《计算复杂性》讨论班
《知识表示与推理》讨论班?

---

发表论著Canonical Loigc Programs are Succinctly Incomparable with Propositional Formulas. Yuping Shen and Xishun Zhao. In the proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning, KR2014, Vienna, AAAI Press. (CORE Rank A*)
Reasoning about Actions with Loops. Jiankun He, Yuping Shen, Xishun Zhao, Artificial Intelligence: Methods and Applications, Lecture Notes in Computer Science Volume 8445, 2014, pp 504-509 (EI)
Proof systems for planning under 0-approximation semantics. Yuping Shen，Xishun Zhao. Science China Infomration Sciences, ?January, 2014, Springer. (SCI)
Proof Systems for Planning Under Cautious Semantics, Yuping Shen，Xishun Zhao, Minds & Machines, 23(1): pp 5-45, 2013. ?(SCI)
A Fuzzy Reasoning Model for Action and Change in Timed Domains. Youzhi Zhang,Xudong Luo,Yuping Shen. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, VOL. 28, 787–805 (2013) (SCI)
F T E: A Fuzzy Timed Action Language. Youzhi Zhang, Xudong Luoand Yuping ShenIn ICAART 2013, Proceedings of the 5th international conference on agnets and artificial intelligence. ?Spain, 2013 (EI)
τε2asp : Implementing T E via Answer Set Programming. ?Hai Wan, Yu Ma, Zhanhao Xiao, and Yuping Shen, In PRICAI 2012, LNAI 7458, pp. 820–825, 2012.Springer. (EI)
NP-Logic Systems and Model-Equivalence Reductions. Yuping Shen, Xishun Zhao.Journal of Computer Science and Technology, Volume 25, Number 6, 1321-1326,2010 (SCI)
Reasoning about action in Timed Domains. Yuping Shen, Guangrui Dang and Xishun Zhao. In the proceedings of 13th International Workshop on Non-nomotonic Reasoning, 2010 Toronto, Canada.
An Answer Set Programming System with Cycle Breaking Heuristics，Yuping Shen, Xishun Zhao，软件学报，Vol. 19,No.4，869~878，2008 (EI)
Consistency Property of Finite FC-Normal Logic Programs. Yi-Song Wang, Ming-Yi Zhang, and Yu-Ping Shen, Journal of Computer Science and Technology, 22(4): 554-561 July 2007 (SCI)
Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction. Xi-Shun Zhao and Yu-Ping Shen, Journal of Computer Science and Technology, 22(4): 562 ~ 568 July 2007 ?(SCI)
Integrating Nonmonotonic and Temporal Constraint Reasoning,?Yuping Shen, Xishun Zhao?(187) 南京大学学报：数学半年刊 vol.24 No.2, 2007
Real-timed Answer Set Programming, Yuping Shen, Xishun Zhao, In Doctoral Consortium of KR2006, Lake District, UK.?

---

承担项目主持项目 国家社科基金青年项目一项（2014），中山大学青年教师资助项目一项（2013），广东省十二五社科规划一项（2010，已结项：优秀）、广东省教育厅育苗项一项（2009，已结项）；并参加国家自然科学基金面上/国际合作项目、国家社科基金重大项目若干。

---

学术交流2014.7.奥地利维也纲参加Vienna Summer of Logic (http://vsl2014.at)，于KR2014作学术报告(www.kr.org)
2014.4,赴北京大学哲学系交流，并作学术报告
2014.4 赴南开大学陈省身数学研究所参加《全国数理逻辑讨论会》，并作学术报告
2011.9,国家自然科学基金中德合作项目资助，赴德国特里尔大学访问
2010.10 国家自然科学基金中德合作项目资助，赴德国特里尔大学及法国马赛第二大学访问
2010.5 ?赴加拿大多伦多参加第十三届非单调推理国际研讨会，并作学术报告
2010.3. 赴荷兰阿姆斯特丹大学、捷克国家科学院、芬兰赫尔辛基大学访问
2009.7,赴新加坡国立大学参加亚洲逻辑会议
2007-2008,国家留学基金资助，赴法国马赛第二大学计算机系联合培养