Yin Chen

Yin Chen

South China Normal University - Guangzhou / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4584094
华南师范大学
person_outline Yin Chen's MOST POPULAR ARTICLES
1-) Discovering classes of strongly equivalent logic programsF Lin, Y ChenJournal of Artificial Intelligence Research 28, 431-451, 2007522007
2-) First-Order Loop Formulas for Normal Logic Programs.Y Chen, F Lin, Y Wang, M ZhangKR 6, 298-307, 2006332006
3-) SELP–a system for studying strong equivalence between logic programsY Chen, F Lin, L LiInternational Conference on Logic Programming and Nonmonotonic Reasoning …, 2005212005
4-) Ordered completion for logic programs with aggregatesV Asuncion, Y Chen, Y Zhang, Y ZhouArtificial Intelligence 224, 72-102, 2015192015
5-) dl2asp: implementing default logic via answer set programmingY Chen, H Wan, Y Zhang, Y ZhouEuropean Workshop on Logics in Artificial Intelligence, 104-116, 2010192010