2008 |
8 | EE | Mingyi Zhang,
Patrick Martin,
Wendy Powley,
Paul Bird:
Using economic models to allocate resources in database management systems.
CASCON 2008: 19 |
7 | | Maonian Wu,
Mingyi Zhang:
Axiom P and Reliable Belief Change Operator in belief revision.
IC-AI 2008: 165-171 |
6 | EE | Maonian Wu,
Mingyi Zhang:
Maximal Invariable Update Operator Based on Splitting.
RSKT 2008: 418-425 |
2007 |
5 | EE | Wu Chen,
Norman Y. Foo,
Mingyi Zhang:
Forgetting in Logic Programs with Ordered Disjunction.
Australian Conference on Artificial Intelligence 2007: 254-262 |
4 | EE | Heng Zhang,
Mingyi Zhang:
Model-Characterizing Formulas and Normal Forms in Godel Logics.
ISMVL 2007: 3 |
2006 |
3 | | Yin Chen,
Fangzhen Lin,
Yisong Wang,
Mingyi Zhang:
First-Order Loop Formulas for Normal Logic Programs.
KR 2006: 298-307 |
2005 |
2 | EE | Min Gan,
Mingyi Zhang,
Shenwen Wang:
Extended Negative Association Rules and the Corresponding Mining Algorithm.
ICMLC 2005: 159-168 |
2004 |
1 | EE | Yisong Wang,
Mingyi Zhang:
Revision Programs with Explicit Negation.
ICTAC 2004: 403-414 |