| |
| 2008 | ||
|---|---|---|
| 4 | EE | Yisong Wang, Xinqiang Ma: Some Results on Order-Consistent Logic Programs. FSKD (5) 2008: 557-561 |
| 3 | Fangzhen Lin, Yisong Wang: Answer Set Programming with Functions. KR 2008: 454-465 | |
| 2006 | ||
| 2 | Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang: First-Order Loop Formulas for Normal Logic Programs. KR 2006: 298-307 | |
| 2004 | ||
| 1 | EE | Yisong Wang, Mingyi Zhang: Revision Programs with Explicit Negation. ICTAC 2004: 403-414 |
| 1 | Yin Chen | [2] |
| 2 | Fangzhen Lin | [2] [3] |
| 3 | Xinqiang Ma | [4] |
| 4 | Mingyi Zhang | [1] [2] |