Yuefei Sui

dblp:58/375 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
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
KSEM3
2017 Completeness of Hoare Logic Relative to the Standard Model
Zhaowei Xu, Yuefei Sui
SOFSEM3
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 Database
abstract
The 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. Informaticae3
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
KSEM2
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 Concepts
abstract
Formal 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. Informaticae2
2009 The Dual Spatial Connectives of Separation Logic
Yuming Shen, Yuefei Sui, Ju Wang 0005
KSEM2
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 Databases
abstract
Formal 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. Informaticae2
2008 Dynamic description logic model for data integration
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
Frontiers Comput. Sci. China3
2008 Types, structures and theories in NKI
Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui
Frontiers Comput. Sci. China3
2007 A Chinese Time Ontology
Chunxia Zhang 0001, Cun-gen Cao 0001, Yuefei Sui, Zhendong Niu
KSEM3
2007 Well limit behaviors of term rewriting systems
Shilong Ma, Yuefei Sui, Ke Xu 0001
Frontiers Comput. Sci. China2
2007 Formal Concept Analysis in Relational Database and Rough Relational Database
Yuefei Sui
Fundam. Informaticae2
2006 A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs
Zaiyue Zhang, Yuefei Sui, Cun-gen Cao 0001
TAMC2
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
IJCAI2
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
KES3
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. Medicine3
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
ICLP2
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
PAKDD2
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/M
abstract
Abstract 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