| 2007 |
|---|
| 11 | EE | Shang Gao,
Zaiyue Zhang,
Xiaoru Zhang,
Cungen Cao:
Immune Genetic Algorithm for Weapon-Target Assignment Problem.
IITA 2007: 145-148 |
| 2006 |
|---|
| 10 | EE | Zaiyue Zhang,
Yuefei Sui,
Cungen Cao:
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic.
RSKT 2006: 162-169 |
| 9 | EE | Cungen Cao,
Yuefei Sui,
Zaiyue Zhang:
The Rough Logic and Roughness of Logical Theories.
RSKT 2006: 610-617 |
| 8 | EE | Zaiyue Zhang,
Yuefei Sui,
Cungen Cao:
A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.
TAMC 2006: 588-600 |
| 7 | EE | Zaiyue Zhang,
Yuefei Sui,
Cungen Cao,
Guohua Wu:
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.
Theor. Comput. Sci. 368(1-2): 149-160 (2006) |
| 2005 |
|---|
| 6 | EE | Zaiyue Zhang,
Yuefei Sui,
Cungen Cao:
Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics.
RSFDGrC (1) 2005: 642-650 |
| 2004 |
|---|
| 5 | EE | Zaiyue Zhang,
Yuefei Sui,
Cungen Cao:
Fuzzy Reasoning Based on Propositional Modal Logic.
Rough Sets and Current Trends in Computing 2004: 109-115 |
| 2003 |
|---|
| 4 | EE | Cungen Cao,
Yuefei Sui,
Zaiyue Zhang:
Rough Mereology in Knowledge Representation.
RSFDGrC 2003: 329-333 |
| 2002 |
|---|
| 3 | EE | Zaiyue Zhang,
Yuefei Sui:
The Contiguity in R/M.
J. Comput. Sci. Technol. 17(4): 507-511 (2002) |
| 2001 |
|---|
| 2 | EE | Zaiyue Zhang:
Extending the Cooper Minimal Pair Theorem.
J. Comput. Sci. Technol. 16(1): 77-85 (2001) |
| 1999 |
|---|
| 1 | | Yuefei Sui,
Zaiyue Zhang:
The Cupping Theorem in R/M.
J. Symb. Log. 64(2): 643-650 (1999) |
