籍贯：广东省梅州市

获得学位：中山大学 逻辑学博士（2008）

任职情况：任中山大学哲学系讲师（2009）、副教授（2015）、教授（2026）

指导情况：博士生导师

研究方向：知识表示与推理，逻辑与计算

邮箱：shyping@mail.sysu.edu.cn

承担教学任务

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

承担科研项目

主持项目 国家社科基金一般项目（2025）；国家社科基金青年项目一项（2014）；广东省十二五社科规划一项（2010）、广东省教育厅育苗项目（2009）；并参加国家自然科学基金面上/国际合作项目、国家社科基金重大项目若干。

代表学术成果

  • Convergent Semantics for Weighted Bipolar Argumentation. Zongshun Wang, Yuping Shen. Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-26), 40(23), 19415–19423. 2026. (Oral Presentation)
  • Computationally hard problems for logic programs under answer set semantics. Yuping Shen and Xishun Zhao. ACM Transactions on Computational Logic, 25(4), 2024.
  • Bilateral Gradual Semantics for Weighted Argumentation. Zongshun Wang, Yuping Shen.  Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-24), 38(9), 10732-10739，2024.
  • Fuzzy Labeling Semantics for Quantitative Argumentation. Zongshun Wang, Yuping Shen. In Proceedings of Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023.
  • 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)
  • 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)