Yin Chen

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

How to Identify Boundary Conditions with Contrasty Metric?

Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2015

Ordered completion for logic programs with aggregates.

Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou

Artif. Intell., 2015

2011

Loop-separable programs and their first-order definability.

Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou

Artif. Intell., 2011

2010

dl2asp: Implementing Default Logic via Answer Set Programming.

Yin Chen, Hai Wan, Yan Zhang, Yi Zhou

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

First-Order Indefinability of Answer Set Programs on Finite Structures.

Yin Chen, Yan Zhang, Yi Zhou

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2007

Discovering Classes of Strongly Equivalent Logic Programs.

Fangzhen Lin, Yin Chen

J. Artif. Intell. Res., 2007

Forgetting and Update -- an exploration.

Abhaya C. Nayak, Yin Chen, Fangzhen Lin

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.

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang

Proceedings of the Proceedings, 2006

Building Business Process Description and Reasoning Meta-model <i>M</i>_<i>bp</i> in <i>A-Prolog</i>.

Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li

Proceedings of the Software Process Change, 2006

Forgetting and Knowledge Update.

Abhaya C. Nayak, Yin Chen, Fangzhen Lin

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005

SELP - A System for Studying Strong Equivalence between Logic Programs.

Yin Chen, Fangzhen Lin, Lei Li

Proceedings of the Answer Set Programming, 2005