Yuefei Sui Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuming Shen, Yuefei Sui, Ju Wang: The Dual Spatial Connectives of Separation Logic. KSEM 2009: 90-99
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Jiang, Yuefei Sui, Cungen Cao: Some issues about outlier detection in rough set theory. Expert Syst. Appl. 36(3): 4680-4687 (2009)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxia Lei, Yuefei Sui, Cungen Cao: Normalized-scale Relations and Their Concept Lattices in Relational Databases. Fundam. Inform. 93(4): 393-409 (2009)
2008
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoshun 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)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoru Zhang, Zaiyue Zhang, Yuefei Sui: Types, structures and theories in NKI. Frontiers of Computer Science in China 2(4): 451-459 (2008)
2007
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoshun 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi Ma, Shilong Ma, Yuefei Sui: A Dynamic Description Logic Approach to Extended RBAC Model. FGCN (1) 2007: 284-288
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Pan, Cungen Cao, Yuefei Sui: A Formal System for Lies Based on Speech Acts in Multi-Agent Systems. FOCI 2007: 228-234
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunxia Zhang, Cungen Cao, Yuefei Sui, Zhendong Niu: A Chinese Time Ontology. KSEM 2007: 575-580
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShilong Ma, Yuefei Sui, Ke Xu: Well limit behaviors of term rewriting systems. Frontiers of Computer Science in China 1(3): 283-296 (2007)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Jiang, Yuefei Sui, Cungen Cao: Formal Concept Analysis in Relational Database and Rough Relational Database. Fundam. Inform. 80(4): 435-451 (2007)
2006
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoshun Hao, Shilong Ma, Jianghua Lv, Yuefei Sui: A Service-Oriented Data Integration Architecture and the Integrating Tree. GCC 2006: 526-530
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Sun, Yuefei Sui: Default Description Logics with Reversing Inference Rules. IEEE ICCI 2006: 280-285
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCungen Cao, Yuefei Sui, Yu Sun: Logical Connections of Statements in Ontologies. IEEE ICCI 2006: 440-446
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Sun, Cungen Cao, Yuefei Sui: A Formal Description of Agents' Epistemic States and Environments. Intelligent Information Processing 2006: 519-524
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Sun, Yuefei Sui, Zhiping Li: One Axiomatic System for the Ontology Revision. Intelligent Information Processing 2006: 91-100
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Jiang, Yuefei Sui, Cungen Cao: Outlier Detection Based on Rough Membership Function. RSCTC 2006: 388-397
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Jiang, Yuefei Sui, Cungen Cao: An Ontology-Based First-Order Modal Logic. RSCTC 2006: 517-526
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZaiyue Zhang, Yuefei Sui, Cungen Cao: Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. RSKT 2006: 162-169
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Jiang, Yuefei Sui, Cungen Cao: Rough Contexts and Rough-Valued Contexts. RSKT 2006: 176-183
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCungen Cao, Yuefei Sui, Zaiyue Zhang: The Rough Logic and Roughness of Logical Theories. RSKT 2006: 610-617
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZaiyue Zhang, Yuefei Sui, Cungen Cao: A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs. TAMC 2006: 588-600
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZaiyue 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Sun, Yuefei Sui: The Ontology Revision. IJCAI 2005: 1583-1584
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCungen Cao, Yuefei Sui, Youming Xia: The Graph-Theoretical Properties of Partitions and Information Entropy. RSFDGrC (1) 2005: 561-570
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZaiyue Zhang, Yuefei Sui, Cungen Cao: Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. RSFDGrC (1) 2005: 642-650
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Jiang, Yuefei Sui, Cungen Cao: Outlier Detection Using Rough Set Theory. RSFDGrC (2) 2005: 79-87
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Sun, Yuefei Sui, Youming Xia: Logical Sentences as the Intent of Concepts. J. Comput. Sci. Technol. 20(3): 338-344 (2005)
2004
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui: PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory. FLAIRS Conference 2004
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinxin Si, Cungen Cao, Yuefei Sui, Xiaoli Yue, Nengfu Xie: ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems. KES 2004: 263-269
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZaiyue Zhang, Yuefei Sui, Cungen Cao: Fuzzy Reasoning Based on Propositional Modal Logic. Rough Sets and Current Trends in Computing 2004: 109-115
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCungen 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFang Gu, Cungen Cao, Yuefei Sui, Wen Tian: Domain-Specific Ontology of Botany. J. Comput. Sci. Technol. 19(2): 238-248 (2004)
2003
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuefei Sui, Youming Xia, Ju Wang: The Information Entropy of Rough Relational Databases. RSFDGrC 2003: 320-324
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCungen Cao, Yuefei Sui, Zaiyue Zhang: Rough Mereology in Knowledge Representation. RSFDGrC 2003: 329-333
2002
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShilong Ma, Yuefei Sui, Ke Xu: The Limits of Horn Logic Programs. ICLP 2002: 467
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShilong Ma, Yuefei Sui, Ke Xu: The Prioritized Inductive Logic Programs CoRR cs.AI/0206017: (2002)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZaiyue Zhang, Yuefei Sui: The Contiguity in R/M. J. Comput. Sci. Technol. 17(4): 507-511 (2002)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCungen 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeyun Hu, Yuefei Sui, Ju Wang, Yuchang Lu: Rough Set Theory under the Similarity Relations. ISAS-SCI (1) 2001: 405-409
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuefei Sui, Ju Wang, Jian Yuncheng: The Entropy of Rough Relations in Rough Relational Databases. ISAS-SCI (1) 2001: 566-570
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang, Chunyi Shi: Concept Approximation in Concept Lattice. PAKDD 2001: 167-173
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShilong Ma, Yuefei Sui, Ke Xu: The Limits of Horn Logic Programs CoRR cs.LO/0103008: (2001)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Li, Shilong Ma, Yuefei Sui, Ke Xu: A Logical Framework for Convergent Infinite Computations CoRR cs.LO/0105020: (2001)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuefei Sui: Two Online Algorithms for the Ambulance Systems. J. Comput. Sci. Technol. 16(2): 176-181 (2001)
1999
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuefei Sui, Zaiyue Zhang: The Cupping Theorem in R/M. J. Symb. Log. 64(2): 643-650 (1999)
1996
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Lempp, Yuefei Sui: An Extended Lachlan Splitting Theorem. Ann. Pure Appl. Logic 79(1): 53-59 (1996)
1994
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuefei Sui: A New Reducibility between Turing- and wtt-Reducibility. Math. Log. Q. 40: 106-110 (1994)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)