 | 2009 |
|---|
| 7 |       | Yisong Wang,
Jia-Huai You,
Li-Yan Yuan,
Mingyi Zhang:
Weight Constraint Programs with Functions.
LPNMR 2009: 329-341 |
| 6 | | Yisong Wang,
Mingyi Zhang,
Jia-Huai You:
Logic Programs, Compatibility and Forward Chaining Construction.
J. Comput. Sci. Technol. 24(6): 1125-1137 (2009) |
| 2008 |
|---|
| 5 | | Yisong Wang,
Xinqiang Ma:
Some Results on Order-Consistent Logic Programs.
FSKD (5) 2008: 557-561 |
| 4 |  | Fangzhen Lin,
Yisong Wang:
Answer Set Programming with Functions.
KR 2008: 454-465 |
| 2007 |
|---|
| 3 | | Yisong Wang,
Mingyi Zhang,
Yu-Ping Shen:
Consistency Property of Finite FC-Normal Logic Programs.
J. Comput. Sci. Technol. 22(4): 554-561 (2007) |
| 2006 |
|---|
| 2 | | Yin Chen,
Fangzhen Lin,
Yisong Wang,
Mingyi Zhang:
First-Order Loop Formulas for Normal Logic Programs.
KR 2006: 298-307 |
| 2004 |
|---|
| 1 | | Yisong Wang,
Mingyi Zhang:
Revision Programs with Explicit Negation.
ICTAC 2004: 403-414 |
