Yuefei Sui

	2009
48		Yuming Shen, Yuefei Sui, Ju Wang: The Dual Spatial Connectives of Separation Logic. KSEM 2009: 90-99
47		Feng Jiang, Yuefei Sui, Cungen Cao: Some issues about outlier detection in rough set theory. Expert Syst. Appl. 36(3): 4680-4687 (2009)
46		Yuxia Lei, Yuefei Sui, Cungen Cao: Normalized-scale Relations and Their Concept Lattices in Relational Databases. Fundam. Inform. 93(4): 393-409 (2009)
	2008
45		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		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		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		Li Ma, Shilong Ma, Yuefei Sui: A Dynamic Description Logic Approach to Extended RBAC Model. FGCN (1) 2007: 284-288
41		Yu Pan, Cungen Cao, Yuefei Sui: A Formal System for Lies Based on Speech Acts in Multi-Agent Systems. FOCI 2007: 228-234
40		Chunxia Zhang, Cungen Cao, Yuefei Sui, Zhendong Niu: A Chinese Time Ontology. KSEM 2007: 575-580
39		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		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		Guoshun Hao, Shilong Ma, Jianghua Lv, Yuefei Sui: A Service-Oriented Data Integration Architecture and the Integrating Tree. GCC 2006: 526-530
36		Yu Sun, Yuefei Sui: Default Description Logics with Reversing Inference Rules. IEEE ICCI 2006: 280-285
35		Cungen Cao, Yuefei Sui, Yu Sun: Logical Connections of Statements in Ontologies. IEEE ICCI 2006: 440-446
34		Yu Sun, Cungen Cao, Yuefei Sui: A Formal Description of Agents' Epistemic States and Environments. Intelligent Information Processing 2006: 519-524
33		Yu Sun, Yuefei Sui, Zhiping Li: One Axiomatic System for the Ontology Revision. Intelligent Information Processing 2006: 91-100
32		Feng Jiang, Yuefei Sui, Cungen Cao: Outlier Detection Based on Rough Membership Function. RSCTC 2006: 388-397
31		Feng Jiang, Yuefei Sui, Cungen Cao: An Ontology-Based First-Order Modal Logic. RSCTC 2006: 517-526
30		Zaiyue Zhang, Yuefei Sui, Cungen Cao: Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. RSKT 2006: 162-169
29		Feng Jiang, Yuefei Sui, Cungen Cao: Rough Contexts and Rough-Valued Contexts. RSKT 2006: 176-183
28		Cungen Cao, Yuefei Sui, Zaiyue Zhang: The Rough Logic and Roughness of Logical Theories. RSKT 2006: 610-617
27		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		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		Yu Sun, Yuefei Sui: The Ontology Revision. IJCAI 2005: 1583-1584
24		Cungen Cao, Yuefei Sui, Youming Xia: The Graph-Theoretical Properties of Partitions and Information Entropy. RSFDGrC (1) 2005: 561-570
23		Zaiyue Zhang, Yuefei Sui, Cungen Cao: Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. RSFDGrC (1) 2005: 642-650
22		Feng Jiang, Yuefei Sui, Cungen Cao: Outlier Detection Using Rough Set Theory. RSFDGrC (2) 2005: 79-87
21		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		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		Zaiyue Zhang, Yuefei Sui, Cungen Cao: Fuzzy Reasoning Based on Propositional Modal Logic. Rough Sets and Current Trends in Computing 2004: 109-115
17		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		Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian: Domain-Specific Ontology of Botany. J. Comput. Sci. Technol. 19(2): 238-248 (2004)
	2003
15		Yuefei Sui, Youming Xia, Ju Wang: The Information Entropy of Rough Relational Databases. RSFDGrC 2003: 320-324
14		Cungen Cao, Yuefei Sui, Zaiyue Zhang: Rough Mereology in Knowledge Representation. RSFDGrC 2003: 329-333
	2002
13		Shilong Ma, Yuefei Sui, Ke Xu: The Limits of Horn Logic Programs. ICLP 2002: 467
12		Shilong Ma, Yuefei Sui, Ke Xu: The Prioritized Inductive Logic Programs CoRR cs.AI/0206017: (2002)
11		Zaiyue Zhang, Yuefei Sui: The Contiguity in R/M. J. Comput. Sci. Technol. 17(4): 507-511 (2002)
10		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		Keyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang, Chunyi Shi: Concept Approximation in Concept Lattice. PAKDD 2001: 167-173
6		Shilong Ma, Yuefei Sui, Ke Xu: The Limits of Horn Logic Programs CoRR cs.LO/0103008: (2001)
5		Wei Li, Shilong Ma, Yuefei Sui, Ke Xu: A Logical Framework for Convergent Infinite Computations CoRR cs.LO/0105020: (2001)
4		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] [46] [47]
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] [47]
8	Yuxia Lei	[46]
9	Steffen Lempp	[2]
10	Wei Li	[5]
11	Zhiping Li	[33]
12	Yuchang Lu	[7] [9]
13	Jianghua Lv	[37] [43] [45]
14	Li Ma	[42]
15	Shilong Ma	[5] [6] [12] [13] [37] [39] [42] [43] [45]
16	Zhendong Niu	[40]
17	Yu Pan	[41]
18	Yuming Shen	[48]
19	Chunyi Shi	[7]
20	Jinxin Si	[10] [19] [20]
21	Yu Sun	[21] [25] [33] [34] [35] [36]
22	Wen Tian	[10] [16]
23	Haitao Wang	[10] [17]
24	Ju Wang	[7] [8] [9] [15] [48]
25	Lili Wang	[10]
26	Guohua Wu	[26]
27	Youming Xia	[15] [21] [24]
28	Nengfu Xie	[19]
29	Ke Xu	[5] [6] [12] [13] [39]
30	Xiaoli Yue	[19] [20]
31	Jian Yuncheng	[8]
32	Qingtian Zeng	[10]
33	Chunxia Zhang	[10] [40]
34	Xiaoru Zhang	[44]
35	Zaiyue Zhang	[3] [11] [14] [18] [23] [26] [27] [28] [30] [44]
36	Yufei Zheng	[10]
37	Xiaobin Zhou	[10]

Colors in the list of coauthors