Yin Chen

15 papers A* 4B 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2021 A* conf
How to Identify Boundary Conditions with Contrasty Metric?
ICSE
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
2021 J jnl
How to Identify Boundary Conditions with Contrasty Metric?
CoRR
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
2015 J jnl
Ordered completion for logic programs with aggregates.
Artif. Intell.
Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou
2011 J jnl
Discovering Classes of Strongly Equivalent Logic Programs
CoRR
Yin Chen, Fangzhen Lin
2011 J jnl
Loop-separable programs and their first-order definability.
Artif. Intell.
Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou
2010 A* conf
First-Order Indefinability of Answer Set Programs on Finite Structures.
AAAI
Yin Chen, Yan Zhang, Yi Zhou
2010 B conf
dl2asp: Implementing Default Logic via Answer Set Programming.
JELIA
Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
2007 J jnl
Discovering Classes of Strongly Equivalent Logic Programs.
J. Artif. Intell. Res.
Fangzhen Lin, Yin Chen
2007 — conf
Forgetting and Update -- an exploration.
Formal Models of Belief Change in Rational Agents
Abhaya C. Nayak, Yin Chen, Fangzhen Lin
2006 — conf
Building Business Process Description and Reasoning Meta-model
SPW/ProSim
Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li
2006 A* conf
First-Order Loop Formulas for Normal Logic Programs.
KR
Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
2006 — conf
Forgetting and Knowledge Update.
Australian Conference on Artificial Intelligence
Abhaya C. Nayak, Yin Chen, Fangzhen Lin
2005 A* conf
Discovering Classes of Strongly Equivalent Logic Programs.
IJCAI
Fangzhen Lin, Yin Chen
2005 B conf
SELP - A System for Studying Strong Equivalence Between Logic Programs.
LPNMR
Yin Chen, Fangzhen Lin, Lei Li
2005 — conf
SELP - A System for Studying Strong Equivalence between Logic Programs.
Answer Set Programming
Yin Chen, Fangzhen Lin, Lei Li