Yin Chen

Affiliations:
  • South China Normal University, Department of Computer Science, Guangdong, China
  • Sun Yat-Sen University, Software Institute, Guangzhou, China


According to our database1, Yin Chen authored at least 11 papers between 2005 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
How to Identify Boundary Conditions with Contrasty Metric?
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2015
Ordered completion for logic programs with aggregates.
Artif. Intell., 2015

2011
Loop-separable programs and their first-order definability.
Artif. Intell., 2011

2010
dl2asp: Implementing Default Logic via Answer Set Programming.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

First-Order Indefinability of Answer Set Programs on Finite Structures.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2007
Discovering Classes of Strongly Equivalent Logic Programs.
J. Artif. Intell. Res., 2007

Forgetting and Update -- an exploration.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2006
First-Order Loop Formulas for Normal Logic Programs.
Proceedings of the Proceedings, 2006

Building Business Process Description and Reasoning Meta-model <i>M</i><sub><i>bp</i></sub> in <i>A-Prolog</i>.
Proceedings of the Software Process Change, 2006

Forgetting and Knowledge Update.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005
SELP - A System for Studying Strong Equivalence between Logic Programs.
Proceedings of the Answer Set Programming, 2005


  Loading...