沈榆平

籍贯:广东省梅州市
出生:1980年12月
获得学位:中山大学逻辑学博士

近年担任国际会议委员:

 

研究兴趣: 

知识表示与推理,逻辑与计算

教育背景: 

2009-2011 中山大学信息科学学院 博士后
2007-2008 中山大学/法国马赛第二大学 联合培养 博士生
2004-2008 中山大学逻辑与认知研究所 博士生
2002-2004  中山大学 逻辑与认知研究所 硕士生
1998-2002  广东工业大学 建设学院 本科生

 

代表性论文: 

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,已结项);并参加国家自然科学基金面上/国际合作项目、国家社科基金重大项目若干。

 

讲授课程: 

 

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