Yuping SHEN

Yuping SHEN (沈榆平), Ph.D

Institute of Logic & Cognition

Sun Yat-sen University

Guangzhou (Canton), P.R. China

Tel: +86 20 84110282

Fax: +86 20 84110298

Email: shyping@mail.sysu.edu.cn

Research Interests

I am interested in Logic-based Artifical Intelligence(AI) including Reasoning about action and Change, Answer Set Programming, Propositional Satisfiability and Expressiveness of AI logics.

Professional Activities

The 14th International Conference on Theory and Applications of Satisfiability Testing (SAT2011), External Reviewer(also for SAT 08-10).
Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI2011), PC Member/External Reviewer.
The Third International Workshop on Logic, Rationality and Interaction (LORI-III), Local Chair.
The Thirty-Fourth Australasian Computer Science Conference (ACSC2011), PC Member.
Non-classical Modal and Predicate Logics 2011 , Local Chair

Recent Publications

Proof Systems for Planning with Incomplete Knowledge. Xishun Zhao, Yuping Shen, (In progress).
NP-Logic Systems and Model-Equivalence Reductions. Yuping Shen, Xishun Zhao. Electronic Proceedings in Theoretical Computer Science (EPTCS)24,2010
Reasoning about Action and Change in Timed Domains. Yuping Shen, Guangrui Dang, Xishun Zhao. The 13th International Workshop on Non-monotonic Reasoning, NMR2010.
An Answer Set Programming System with Cycle Breaking Heuristics. Yuping Shen and Xishun Zhao.Journal of Software, Vol 19(4),869~878, 2008
A Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction. Xishun Zhao and Yuping Shen, Journal of Computer Science and Technology, 22(4): 562-568, 2007
Real-time Answer Set Programming. Yuping Shen and Xishun Zhao, Poster, KR2006.

Teaching

Introduction to Mathematical Logic. Undergraduate Course.
Theory and Practice of Computation. Undergraduate Course.
Computational Complexity. Seminar.
Logic-based Artifical Intelligence. Seminar.

Academic Visiting

Aix-Marseille University, LIF/Department of Computer Science, December, 2010
Trier University, Department of Computer Science, November, 2010
Helsinki University, Department of Mathematics, April, 2010
Amsterdam University, Institute of Logic, Language and Computation, March,2010
National University of Singapore, June, 2009
Aix-Marseille University, LIF/Department of Computer Science, 2007-08

Misc

I am now an external developer of the OKlibrary, working with Dr. Oliver Kullmann in Testing & Improving Parallel SAT solvers.
I am also working with Shiguang Feng on Robotics(just for fun), the following picture shows a Turing Machine, built on top of Lego Mindstorm NXT suits. (Designed & programmed by Shiguang Feng & me)