VLDB 2026 Research / reviewers in the wild / expert
Yuefei Sui
dblp:58/375
· DBLP profile ↗
49ranked-venue papers
3as first author
4since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 24 · 2 first-author · 4 since 2021Artificial intelligence and machine learning · 13Theory of computation · 10 · 1 first-authorDatabases, data management, data science and information retrieval · 6Software engineering, systems software and programming languages · 1Graphics, computer vision, multimedia, augmented reality and games · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Monotonicity and nonmonotonicity in L3-valued propositional logic
Wei Li 0022, Yuefei Sui |
Frontiers Comput. Sci. | 2 |
| 2021 | Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic
Lanxi Hu, Yuefei Sui |
Frontiers Comput. Sci. | 3 |
| 2021 | Variant quantifiers in L3-valued first-order logic
Wei Li 0022, Yuefei Sui |
Frontiers Comput. Sci. | 2 |
| 2021 | Nonmonotonic propositional logic
Yuefei Sui |
Frontiers Comput. Sci. | 2 |
| 2018 | A computational framework for Karl Popper's logic of scientific discovery
Wei Li 0022, Yuefei Sui |
Sci. China Inf. Sci. | 2 |
| 2018 | Decomposition for a new kind of imprecise information system
Shaobo Deng, Sujie Guan, Min Li 0020, Lei Wang 0191, Yuefei Sui |
Frontiers Comput. Sci. | 5 |
| 2017 | R-Calculus for the Primitive Statements in Description Logic ALC
Yuefei Sui |
KSEM | 3 |
| 2017 | Completeness of Hoare Logic Relative to the Standard Model
Zhaowei Xu, Yuefei Sui |
SOFSEM | 3 |
| 2017 | Contrary description logic: Gentzen deduction system
Wei Li 0022, Yuefei Sui, Jie Luo 0004 |
Sci. China Inf. Sci. | 2 |
| 2017 | The propositional normal default logic and the finite/infinite injury priority method
Wei Li 0022, Yuefei Sui |
Sci. China Inf. Sci. | 2 |
| 2017 | The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬
Wei Li 0022, Yuefei Sui |
Frontiers Comput. Sci. | 2 |
| 2016 | The M-computations induced by accessibility relations in nonstandard models M of Hoare logic
Cun-gen Cao 0001, Yuefei Sui, Zaiyue Zhang |
Frontiers Comput. Sci. | 2 |
| 2016 | Initialization of K-modes clustering using outlier detection techniques
Feng Jiang 0019, Guozhu Liu, Junwei Du, Yuefei Sui |
Inf. Sci. | 4 |
| 2016 | Completeness of Hoare logic with inputs over the standard model
Zhaowei Xu, Yuefei Sui |
Theor. Comput. Sci. | 2 |
| 2015 | The sound and complete R-calculus for revising propositional theories
Wei Li 0022, Yuefei Sui, Meiying Sun |
Sci. China Inf. Sci. | 2 |
| 2015 | A novel approach for discretization of continuous attributes in rough set theory
Feng Jiang 0019, Yuefei Sui |
Knowl. Based Syst. | 2 |
| 2015 | A relative decision entropy-based feature selection approach
Feng Jiang 0019, Yuefei Sui |
Pattern Recognit. | 2 |
| 2014 | A sound and complete R-calculi with respect to contraction and minimal change
Wei Li 0022, Yuefei Sui |
Frontiers Comput. Sci. | 2 |
| 2013 | Relational Operations and Uncertainty Measure in Rough Relational DatabaseabstractThe traditional relational database model (RDM) is not effective for dealing with imprecise and uncertain data as it deals with precise and unambiguous data. Hence, Beaubouef et al. proposed the rough relational database model (RRDM) for the management of uncertainty in relational databases. Beaubouef et al. defined the corresponding rough relational operators in rough relational databases as in ordinary relational databases. And to give an effective measure of uncertainty in rough relational databases, they defined the rough relation entropy. In this paper, we further discuss the issues of relational operations and uncertainty measure in rough relational databases. We give some new definitions for rough relational operators and rough relation entropy in rough relational databases. Furthermore, we discuss the basic properties of rough relational operators and rough relation entropy, as well as the connections between rough relational operators and rough relation entropy. Feng Jiang 0019, Xiaoyan Wan, Yuefei Sui, Cun-gen Cao 0001, Junwei Du |
Fundam. Informaticae | 3 |
| 2012 | The correspondence between the concepts in description logics for contexts and formal concept analysis
Yuefei Sui |
Sci. China Inf. Sci. | 2 |
| 2011 | On the Translation from Quantified Modal Logic into the Counterpart Theory Revisited
Yuming Shen, Yuefei Sui, Ju Wang 0005 |
KSEM | 2 |
| 2011 | A Chinese time ontology for the Semantic Web
Chunxia Zhang 0001, Cun-gen Cao 0001, Yuefei Sui, Xindong Wu 0001 |
Knowl. Based Syst. | 3 |
| 2011 | A hybrid approach to outlier detection based on boundary region
Feng Jiang 0019, Yuefei Sui, Cun-gen Cao 0001 |
Pattern Recognit. Lett. | 2 |
| 2010 | An information entropy-based approach to outlier detection in rough sets
Yuefei Sui |
Expert Syst. Appl. | 2 |
| 2010 | Relational Contexts and Relational ConceptsabstractFormal concept analysis (FCA) is a mathematical description and theory of concepts implied in formal contexts. And the current formal contexts of FCA aim to model the binary relations between individuals (objects) and attributes in the real world. In the real world we usually describe each individual by some attributes, which induces the relations between individuals and attributes. But there also exist many relations between individuals, for instance, the parent-children relation in a family. In this paper, to model the relations between individuals in the real world, we propose a new context – relational context for FCA, which contains a set U of objects and a binary relation r on U. Corresponding to the formal concepts in formal contexts, we present different kinds of relational concepts in relational contexts, which are the pairs of sets of objects. First we define the standard relational concepts in relational contexts. Moreover, we discuss the indirect relational concepts and negative relational concepts in relational contexts, which aim to concern the indirection and negativity of the relations in relational contexts, respectively. Finally, we define the hybrid relational concepts in relational contexts, which are the combinations of any two different kinds of relational concepts. In addition, we also discuss the application of relational contexts and relational concepts in the supply chain management field. Yuefei Sui |
Fundam. Informaticae | 2 |
| 2009 | The Dual Spatial Connectives of Separation Logic
Yuming Shen, Yuefei Sui, Ju Wang 0005 |
KSEM | 2 |
| 2009 | Some issues about outlier detection in rough set theory
Yuefei Sui |
Expert Syst. Appl. | 2 |
| 2009 | Normalized-scale Relations and Their Concept Lattices in Relational DatabasesabstractFormal Concept Analysis (FCA) is a valid tool for data mining and knowledge discovery, which identifies conceptual structures from (formal) contexts. As many practical applications involve non-binary data, non-binary attributes are introduced via a many-valued context in FCA. In FCA, conceptual scaling provides a complete framework for transforming any many-valued context into a context, in which each non-binary attribute is given a scale, and the scale is a context. Each relation in relational databases is a many-valued context of FCA. In this paper, we provide an approach toward normalizing scales, i.e., each scale can be represented by a nominal scale and/or a set of statements. One advantage of normalizing scales is to avoid generating huge (binary) derived relations. By the normalization, the concept lattice of a derived relation is reduced to a combination of the concept lattice of a derived nominal relation and a set of statements. Hence, without transforming a relation into a derived relation, one can not only determine concepts of the derived relation from concepts of given scales, but also determine concepts of the derived relation from concepts of a derived nominal relation and a set of statements. The connection between the concept lattice of a derived nominal relation and the concept lattice of a derived relation is also considered. Yuxia Lei, Yuefei Sui |
Fundam. Informaticae | 2 |
| 2008 | Dynamic description logic model for data integration
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv |
Frontiers Comput. Sci. China | 3 |
| 2008 | Types, structures and theories in NKI
Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui |
Frontiers Comput. Sci. China | 3 |
| 2007 | A Chinese Time Ontology
Chunxia Zhang 0001, Cun-gen Cao 0001, Yuefei Sui, Zhendong Niu |
KSEM | 3 |
| 2007 | Well limit behaviors of term rewriting systems
Shilong Ma, Yuefei Sui, Ke Xu 0001 |
Frontiers Comput. Sci. China | 2 |
| 2007 | Formal Concept Analysis in Relational Database and Rough Relational Database
Yuefei Sui |
Fundam. Informaticae | 2 |
| 2006 | A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs
Zaiyue Zhang, Yuefei Sui, Cun-gen Cao 0001 |
TAMC | 2 |
| 2006 | A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
Zaiyue Zhang, Yuefei Sui |
Theor. Comput. Sci. | 2 |
| 2005 | The Ontology Revision
Yu Sun 0005, Yuefei Sui |
IJCAI | 2 |
| 2005 | Logical Sentences as the Intent of Concepts
Yu Sun 0005, Yuefei Sui, Youming Xia |
J. Comput. Sci. Technol. | 2 |
| 2004 | ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems
Jinxin Si, Yuefei Sui, Xiaoli Yue, Nengfu Xie |
KES | 3 |
| 2004 | Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text
Cun-gen Cao 0001, Haitao Wang 0009, Yuefei Sui |
Artif. Intell. Medicine | 3 |
| 2004 | Domain-Specific Ontology of Botany
Fang Gu, Cun-gen Cao 0001, Yuefei Sui |
J. Comput. Sci. Technol. | 3 |
| 2002 | The Limits of Horn Logic Programs
Shilong Ma, Yuefei Sui, Ke Xu 0001 |
ICLP | 2 |
| 2002 | Progress in the Development of National Knowledge Infrastructure
Cun-gen Cao 0001, Qiangze Feng, Fang Gu, Jinxin Si, Yuefei Sui, Haitao Wang 0009, Qingtian Zeng, Chunxia Zhang 0001, Yufei Zheng, Xiaobin Zhou |
J. Comput. Sci. Technol. | 6 |
| 2002 | The Contiguity in R/M
Zaiyue Zhang, Yuefei Sui |
J. Comput. Sci. Technol. | 2 |
| 2001 | Concept Approximation in Concept Lattice
Keyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang 0005, Chunyi Shi |
PAKDD | 2 |
| 2001 | Local noncuppability in R/M
Zaiyue Zhang, Yuefei Sui |
Sci. China Ser. F Inf. Sci. | 2 |
| 2001 | Two Online Algorithms for the Ambulance Systems
Yuefei Sui |
J. Comput. Sci. Technol. | 1 |
| 1999 | The Cupping Theorem in R/MabstractAbstract It will be proved that the Shoenfield cupping conjecture holds in R/M, the quotient of the recursively enumerable degrees modulo the cappable r.e. degrees. Namely, for any [a], [b] ∈ R/M such that [0] ≺ [b] ≺ [a] there exists [c] ∈ R/M such that [c] ≺ [a] and [a] = [b] ∨ [c]. Yuefei Sui, Zaiyue Zhang |
J. Symb. Log. | 1 |
| 1996 | An Extended Lachlan Splitting Theorem
Steffen Lempp, Yuefei Sui |
Ann. Pure Appl. Log. | 2 |
| 1993 | Bounded recursively enumerable sets and degrees
Yuefei Sui |
J. Comput. Sci. Technol. | 1 |