Yuefei Sui

Yue Ma, Yuefei Sui, Cungen Cao: The correspondence between the concepts in description logics for contexts and formal concept analysis. SCIENCE CHINA Information Sciences 55(5): 1106-1122 (2012)

Chunxia Zhang, Cungen Cao, Yuefei Sui, Xindong Wu: A Chinese time ontology for the Semantic Web. Knowl.-Based Syst. 24(7): 1057-1074 (2011)

Feng Jiang, Yuefei Sui, Cungen Cao: A hybrid approach to outlier detection based on boundary region. Pattern Recognition Letters 32(14): 1860-1870 (2011)

Yuming Shen, Yuefei Sui, Ju Wang: On the Translation from Quantified Modal Logic into the Counterpart Theory Revisited. KSEM 2011: 377-386

Feng Jiang, Yuefei Sui, Cungen Cao: An information entropy-based approach to outlier detection in rough sets. Expert Syst. Appl. 37(9): 6338-6344 (2010)

Feng Jiang, Yuefei Sui, Cungen Cao: Relational Contexts and Relational Concepts. Fundam. Inform. 99(3): 293-314 (2010)

Cungen Cao, Yuefei Sui, Yu Sun: Logical Connections of Statements at the Ontological Level. IJCINI 4(3): 59-85 (2010)

Yuming Shen, Yue Ma, Cungen Cao, Yuefei Sui, Ju Wang: Preservative Translations between Logical Systems. Intelligent Information Processing 2010: 55-63

Yue Ma, Yuming Shen, Yuefei Sui, Cungen Cao: The Description Logic for Relational Databases. Intelligent Information Processing 2010: 64-71

Guang Jiang, Cungen Cao, Yuefei Sui, Han Lu, Shi Wang: A General Approach to Extracting Full Names and Abbreviations for Chinese Entities from the Web. Intelligent Information Processing 2010: 271-280

Feng Jiang, Yuefei Sui, Cungen Cao: Some issues about outlier detection in rough set theory. Expert Syst. Appl. 36(3): 4680-4687 (2009)

Yuxia Lei, Yuefei Sui, Cungen Cao: Normalized-scale Relations and Their Concept Lattices in Relational Databases. Fundam. Inform. 93(4): 393-409 (2009)

Yuming Shen, Yuefei Sui, Ju Wang: The Dual Spatial Connectives of Separation Logic. KSEM 2009: 90-99

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)

Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui: Types, structures and theories in NKI. Frontiers of Computer Science in China 2(4): 451-459 (2008)

Feng Jiang, Yuefei Sui, Cungen Cao: An Ontology-based First-order Intensional Logic. GrC 2008: 330-335

Shilong Ma, Yuefei Sui, Ke Xu: Well limit behaviors of term rewriting systems. Frontiers of Computer Science in China 1(3): 283-296 (2007)

Feng Jiang, Yuefei Sui, Cungen Cao: Formal Concept Analysis in Relational Database and Rough Relational Database. Fundam. Inform. 80(4): 435-451 (2007)

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

Li Ma, Shilong Ma, Yuefei Sui: A Dynamic Description Logic Approach to Extended RBAC Model. FGCN (1) 2007: 284-288

Yu Pan, Cungen Cao, Yuefei Sui: A Formal System for Lies Based on Speech Acts in Multi-Agent Systems. FOCI 2007: 228-234

Chunxia Zhang, Cungen Cao, Yuefei Sui, Zhendong Niu: A Chinese Time Ontology. KSEM 2007: 575-580

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)

Yu Pan, Cungen Cao, Yuefei Sui: A Logic of Believable Agents. IEEE ICCI 2006: 185-194

Yu Sun, Yuefei Sui: Default Description Logics with Reversing Inference Rules. IEEE ICCI 2006: 280-285

Cungen Cao, Yuefei Sui, Yu Sun: Logical Connections of Statements in Ontologies. IEEE ICCI 2006: 440-446

Guoshun Hao, Shilong Ma, Jianghua Lv, Yuefei Sui: A Service-Oriented Data Integration Architecture and the Integrating Tree. GCC 2006: 526-530

Yu Sun, Yuefei Sui, Zhiping Li: One Axiomatic System for the Ontology Revision. Intelligent Information Processing 2006: 91-100

Yu Sun, Cungen Cao, Yuefei Sui: A Formal Description of Agents' Epistemic States and Environments. Intelligent Information Processing 2006: 519-524

Feng Jiang, Yuefei Sui, Cungen Cao: Outlier Detection Based on Rough Membership Function. RSCTC 2006: 388-397

Feng Jiang, Yuefei Sui, Cungen Cao: An Ontology-Based First-Order Modal Logic. RSCTC 2006: 517-526

Zaiyue Zhang, Yuefei Sui, Cungen Cao: Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. RSKT 2006: 162-169

Feng Jiang, Yuefei Sui, Cungen Cao: Rough Contexts and Rough-Valued Contexts. RSKT 2006: 176-183

Cungen Cao, Yuefei Sui, Zaiyue Zhang: The Rough Logic and Roughness of Logical Theories. RSKT 2006: 610-617

Zaiyue Zhang, Yuefei Sui, Cungen Cao: A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs. TAMC 2006: 588-600

Yu Sun, Yuefei Sui, Youming Xia: Logical Sentences as the Intent of Concepts. J. Comput. Sci. Technol. 20(3): 338-344 (2005)

Yu Sun, Yuefei Sui: The Ontology Revision. IJCAI 2005: 1583-1584

Feng Jiang, Yuefei Sui, Cungen Cao: Outlier Detection Using Rough Set Theory. RSFDGrC (2) 2005: 79-87

Cungen Cao, Yuefei Sui, Youming Xia: The Graph-Theoretical Properties of Partitions and Information Entropy. RSFDGrC (1) 2005: 561-570

Zaiyue Zhang, Yuefei Sui, Cungen Cao: Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. RSFDGrC (1) 2005: 642-650

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)

Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian: Domain-Specific Ontology of Botany. J. Comput. Sci. Technol. 19(2): 238-248 (2004)

Jinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui: PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory. FLAIRS Conference 2004: 460-466

Jinxin Si, Cungen Cao, Yuefei Sui, Xiaoli Yue, Nengfu Xie: ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems. KES 2004: 263-269

Zaiyue Zhang, Yuefei Sui, Cungen Cao: Fuzzy Reasoning Based on Propositional Modal Logic. Rough Sets and Current Trends in Computing 2004: 109-115

Yuefei Sui, Youming Xia, Ju Wang: The Information Entropy of Rough Relational Databases. RSFDGrC 2003: 320-324

Cungen Cao, Yuefei Sui, Zaiyue Zhang: Rough Mereology in Knowledge Representation. RSFDGrC 2003: 329-333

Zaiyue Zhang, Yuefei Sui: The Contiguity in R/M. J. Comput. Sci. Technol. 17(4): 507-511 (2002)

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)

Shilong Ma, Yuefei Sui, Ke Xu: The Limits of Horn Logic Programs. ICLP 2002: 467

Shilong Ma, Yuefei Sui, Ke Xu: The Prioritized Inductive Logic Programs. CoRR cs.AI/0206017 (2002)

Yuefei Sui: Two Online Algorithms for the Ambulance Systems. J. Comput. Sci. Technol. 16(2): 176-181 (2001)

Keyun Hu, Yuefei Sui, Ju Wang, Yuchang Lu: Rough Set Theory under the Similarity Relations. ISAS-SCI (1) 2001: 405-409

Yuefei Sui, Ju Wang, Jian Yuncheng: The Entropy of Rough Relations in Rough Relational Databases. ISAS-SCI (1) 2001: 566-570

Keyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang, Chunyi Shi: Concept Approximation in Concept Lattice. PAKDD 2001: 167-173

Shilong Ma, Yuefei Sui, Ke Xu: The Limits of Horn Logic Programs. CoRR cs.LO/0103008 (2001)

Wei Li, Shilong Ma, Yuefei Sui, Ke Xu: A Logical Framework for Convergent Infinite Computations. CoRR cs.LO/0105020 (2001)

Yuefei Sui, Zaiyue Zhang: The Cupping Theorem in R/M. J. Symb. Log. 64(2): 643-650 (1999)

Steffen Lempp, Yuefei Sui: An Extended Lachlan Splitting Theorem. Ann. Pure Appl. Logic 79(1): 53-59 (1996)

Yuefei Sui: A New Reducibility between Turing- and wtt-Reducibility. Math. Log. Q. 40: 106-110 (1994)

Yuefei Sui: Bounded recursively enumerable sets and degrees. J. Comput. Sci. Technol. 8(3): 205-208 (1993)