 | 2010 |
|---|
| 11 |       | Maonian Wu,
Mingyi Zhang:
Algorithms and application in decision-making for the finest splitting of a set of formulae.
Knowl.-Based Syst. 23(1): 70-76 (2010) |
| 2009 |
|---|
| 10 | | Yisong Wang,
Jia-Huai You,
Li-Yan Yuan,
Mingyi Zhang:
Weight Constraint Programs with Functions.
LPNMR 2009: 329-341 |
| 2008 |
|---|
| 9 | | Mingyi Zhang,
Patrick Martin,
Wendy Powley,
Paul Bird:
Using economic models to allocate resources in database management systems.
CASCON 2008: 19 |
| 8 |  | Maonian Wu,
Mingyi Zhang:
Axiom P and Reliable Belief Change Operator in belief revision.
IC-AI 2008: 165-171 |
| 7 | | Maonian Wu,
Mingyi Zhang:
Maximal Invariable Update Operator Based on Splitting.
RSKT 2008: 418-425 |
| 2007 |
|---|
| 6 | | Wu Chen,
Norman Y. Foo,
Mingyi Zhang:
Forgetting in Logic Programs with Ordered Disjunction.
Australian Conference on Artificial Intelligence 2007: 254-262 |
| 5 | | Heng Zhang,
Mingyi Zhang:
Model-Characterizing Formulas and Normal Forms in Godel Logics.
ISMVL 2007: 3 |
| 2006 |
|---|
| 4 | | Yin Chen,
Fangzhen Lin,
Yisong Wang,
Mingyi Zhang:
First-Order Loop Formulas for Normal Logic Programs.
KR 2006: 298-307 |
| 2005 |
|---|
| 3 | | Min Gan,
Mingyi Zhang,
Shenwen Wang:
Extended Negative Association Rules and the Corresponding Mining Algorithm.
ICMLC 2005: 159-168 |
| 2004 |
|---|
| 2 | | Yisong Wang,
Mingyi Zhang:
Revision Programs with Explicit Negation.
ICTAC 2004: 403-414 |
| 2003 |
|---|
| 1 | | Jia-Huai You,
Li-Yan Yuan,
Mingyi Zhang:
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.
IJCAI 2003: 859-866 |
