Yuefei Sui

2008
45	EE	Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv: Dynamic description logic model for data integration. Frontiers of Computer Science in China 2(3): 306-330 (2008)
44	EE	Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui: Types, structures and theories in NKI. Frontiers of Computer Science in China 2(4): 451-459 (2008)
2007
43	EE	Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv: An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 121-126
42	EE	Li Ma, Shilong Ma, Yuefei Sui: A Dynamic Description Logic Approach to Extended RBAC Model. FGCN (1) 2007: 284-288
41	EE	Yu Pan, Cungen Cao, Yuefei Sui: A Formal System for Lies Based on Speech Acts in Multi-Agent Systems. FOCI 2007: 228-234
40	EE	Chunxia Zhang, Cungen Cao, Yuefei Sui, Zhendong Niu: A Chinese Time Ontology. KSEM 2007: 575-580
39	EE	Shilong Ma, Yuefei Sui, Ke Xu: Well limit behaviors of term rewriting systems. Frontiers of Computer Science in China 1(3): 283-296 (2007)
38	EE	Feng Jiang, Yuefei Sui, Cungen Cao: Formal Concept Analysis in Relational Database and Rough Relational Database. Fundam. Inform. 80(4): 435-451 (2007)
2006
37	EE	Guoshun Hao, Shilong Ma, Jianghua Lv, Yuefei Sui: A Service-Oriented Data Integration Architecture and the Integrating Tree. GCC 2006: 526-530
36	EE	Yu Sun, Yuefei Sui: Default Description Logics with Reversing Inference Rules. IEEE ICCI 2006: 280-285
35	EE	Cungen Cao, Yuefei Sui, Yu Sun: Logical Connections of Statements in Ontologies. IEEE ICCI 2006: 440-446
34	EE	Yu Sun, Cungen Cao, Yuefei Sui: A Formal Description of Agents' Epistemic States and Environments. Intelligent Information Processing 2006: 519-524
33	EE	Yu Sun, Yuefei Sui, Zhiping Li: One Axiomatic System for the Ontology Revision. Intelligent Information Processing 2006: 91-100
32	EE	Feng Jiang, Yuefei Sui, Cungen Cao: Outlier Detection Based on Rough Membership Function. RSCTC 2006: 388-397
31	EE	Feng Jiang, Yuefei Sui, Cungen Cao: An Ontology-Based First-Order Modal Logic. RSCTC 2006: 517-526
30	EE	Zaiyue Zhang, Yuefei Sui, Cungen Cao: Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. RSKT 2006: 162-169
29	EE	Feng Jiang, Yuefei Sui, Cungen Cao: Rough Contexts and Rough-Valued Contexts. RSKT 2006: 176-183
28	EE	Cungen Cao, Yuefei Sui, Zaiyue Zhang: The Rough Logic and Roughness of Logical Theories. RSKT 2006: 610-617
27	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
26	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
25	EE	Yu Sun, Yuefei Sui: The Ontology Revision. IJCAI 2005: 1583-1584
24	EE	Cungen Cao, Yuefei Sui, Youming Xia: The Graph-Theoretical Properties of Partitions and Information Entropy. RSFDGrC (1) 2005: 561-570
23	EE	Zaiyue Zhang, Yuefei Sui, Cungen Cao: Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. RSFDGrC (1) 2005: 642-650
22	EE	Feng Jiang, Yuefei Sui, Cungen Cao: Outlier Detection Using Rough Set Theory. RSFDGrC (2) 2005: 79-87
21	EE	Yu Sun, Yuefei Sui, Youming Xia: Logical Sentences as the Intent of Concepts. J. Comput. Sci. Technol. 20(3): 338-344 (2005)
2004
20		Jinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui: PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory. FLAIRS Conference 2004
19	EE	Jinxin Si, Cungen Cao, Yuefei Sui, Xiaoli Yue, Nengfu Xie: ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems. KES 2004: 263-269
18	EE	Zaiyue Zhang, Yuefei Sui, Cungen Cao: Fuzzy Reasoning Based on Propositional Modal Logic. Rough Sets and Current Trends in Computing 2004: 109-115
17	EE	Cungen Cao, Haitao Wang, Yuefei Sui: Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text. Artificial Intelligence in Medicine 32(1): 3-13 (2004)
16	EE	Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian: Domain-Specific Ontology of Botany. J. Comput. Sci. Technol. 19(2): 238-248 (2004)
2003
15	EE	Yuefei Sui, Youming Xia, Ju Wang: The Information Entropy of Rough Relational Databases. RSFDGrC 2003: 320-324
14	EE	Cungen Cao, Yuefei Sui, Zaiyue Zhang: Rough Mereology in Knowledge Representation. RSFDGrC 2003: 329-333
2002
13	EE	Shilong Ma, Yuefei Sui, Ke Xu: The Limits of Horn Logic Programs. ICLP 2002: 467
12	EE	Shilong Ma, Yuefei Sui, Ke Xu: The Prioritized Inductive Logic Programs CoRR cs.AI/0206017: (2002)
11	EE	Zaiyue Zhang, Yuefei Sui: The Contiguity in R/M. J. Comput. Sci. Technol. 17(4): 507-511 (2002)
10	EE	Cungen Cao, Qiangze Feng, Ying Gao, Fang Gu, Jinxin Si, Yuefei Sui, Wen Tian, Haitao Wang, Lili Wang, Qingtian Zeng, Chunxia Zhang, Yufei Zheng, Xiaobin Zhou: Progress in the Development of National Knowledge Infrastructure. J. Comput. Sci. Technol. 17(5): 523-534 (2002)
2001
9		Keyun Hu, Yuefei Sui, Ju Wang, Yuchang Lu: Rough Set Theory under the Similarity Relations. ISAS-SCI (1) 2001: 405-409
8		Yuefei Sui, Ju Wang, Jian Yuncheng: The Entropy of Rough Relations in Rough Relational Databases. ISAS-SCI (1) 2001: 566-570
7	EE	Keyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang, Chunyi Shi: Concept Approximation in Concept Lattice. PAKDD 2001: 167-173
6	EE	Shilong Ma, Yuefei Sui, Ke Xu: The Limits of Horn Logic Programs CoRR cs.LO/0103008: (2001)
5	EE	Wei Li, Shilong Ma, Yuefei Sui, Ke Xu: A Logical Framework for Convergent Infinite Computations CoRR cs.LO/0105020: (2001)
4	EE	Yuefei Sui: Two Online Algorithms for the Ambulance Systems. J. Comput. Sci. Technol. 16(2): 176-181 (2001)
1999
3		Yuefei Sui, Zaiyue Zhang: The Cupping Theorem in R/M. J. Symb. Log. 64(2): 643-650 (1999)
1996
2		Steffen Lempp, Yuefei Sui: An Extended Lachlan Splitting Theorem. Ann. Pure Appl. Logic 79(1): 53-59 (1996)
1994
1		Yuefei Sui: A New Reducibility between Turing- and wtt-Reducibility. Math. Log. Q. 40: 106-110 (1994)

Coauthor Index

1	Cungen Cao	[10] [14] [16] [17] [18] [19] [20] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [34] [35] [38] [40] [41]
2	Qiangze Feng	[10]
3	Ying Gao	[10]
4	Fang Gu	[10] [16]
5	Guoshun Hao	[37] [43] [45]
6	Keyun Hu	[7] [9]
7	Feng Jiang	[22] [29] [31] [32] [38]
8	Steffen Lempp	[2]
9	Wei Li	[5]
10	Zhiping Li	[33]
11	Yuchang Lu	[7] [9]
12	Jianghua Lv	[37] [43] [45]
13	Li Ma	[42]
14	Shilong Ma	[5] [6] [12] [13] [37] [39] [42] [43] [45]
15	Zhendong Niu	[40]
16	Yu Pan	[41]
17	Chunyi Shi	[7]
18	Jinxin Si	[10] [19] [20]
19	Yu Sun	[21] [25] [33] [34] [35] [36]
20	Wen Tian	[10] [16]
21	Haitao Wang	[10] [17]
22	Ju Wang	[7] [8] [9] [15]
23	Lili Wang	[10]
24	Guohua Wu	[26]
25	Youming Xia	[15] [21] [24]
26	Nengfu Xie	[19]
27	Ke Xu	[5] [6] [12] [13] [39]
28	Xiaoli Yue	[19] [20]
29	Jian Yuncheng	[8]
30	Qingtian Zeng	[10]
31	Chunxia Zhang	[10] [40]
32	Xiaoru Zhang	[44]
33	Zaiyue Zhang	[3] [11] [14] [18] [23] [26] [27] [28] [30] [44]
34	Yufei Zheng	[10]
35	Xiaobin Zhou	[10]

Colors in the list of coauthors