Yuefei Sui

110 papers A* 1B 4C 5Misc 3Journal 57Unranked 36
YearRankTypeTitle / Venue / Authors
2024 — book
R-Calculus, V: Description Logics
Wei Li, Yuefei Sui
2022 J jnl
Monotonicity and nonmonotonicity in L
Frontiers Comput. Sci.
Wei Li, Yuefei Sui
2022 — book
R-Calculus, II: Many-Valued Logics
Wei Li, Yuefei Sui
2022 — book
R-Calculus, III: Post Three-Valued Logic
Wei Li, Yuefei Sui
2021 J jnl
Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic.
Frontiers Comput. Sci.
Cungen Cao, Lanxi Hu, Yuefei Sui
2021 J jnl
Nonmonotonic propositional logic.
Frontiers Comput. Sci.
Wei Li, Yuefei Sui, Yuhui Wang
2021 — book
R-CALCULUS: A Logic of Belief Revision
Wei Li, Yuefei Sui
2021 — conf
R-Calculus for Post Three-Valued Description Logic.
FSDM
Cungen Cao, Lanxi Hu, Yuefei Sui
2021 J jnl
Variant quantifiers in L
Frontiers Comput. Sci.
Wei Li, Yuefei Sui
2019 J jnl
A Logical Model for Supporting Social Commonsense Knowledge Acquisition.
CoRR
Zhenzhen Gu, Cungen Cao, Ya Wang, Yuefei Sui
2019 — conf
The B5-Modalized Propositional Logic.
SKG
Bo Chen, Kang Zhao, Bing Zhang, Cheng Wu, Linlin Ma, Changhui Ma, Yuefei Sui
2018 J jnl
A computational framework for Karl Popper's logic of scientific discovery.
Sci. China Inf. Sci.
Wei Li, Yuefei Sui
2018 J jnl
Decomposition for a new kind of imprecise information system.
Frontiers Comput. Sci.
Shaobo Deng, Sujie Guan, Min Li, Lei Wang, Yuefei Sui
2018 J jnl
Multisequent Gentzen Deduction Systems For B
Artif. Intell. Res.
Wei Li, Yuefei Sui
2018 — conf
Towards a Modeling Framework of Social Contexts, Roles and Relations for Acquiring Role-Specific Rules.
IIP
Ya Wang, Zhenzhen Gu, Yuefei Sui, Cungen Cao
2017 J jnl
Autonomous Microsystems for Downhole Applications: Design Challenges, Current State, and Initial Test Results.
Sensors
Myungjoon Choi, Yuefei Sui, Inhee Lee, Ryan Meredith, Yushu Ma, Gyouho Kim, David T. Blaauw, Yogesh B. Gianchandani, Tao Li
2017 B conf
Completeness of Hoare Logic Relative to the Standard Model.
SOFSEM
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
2017 J jnl
Completeness of Hoare Logic over Nonstandard Models.
CoRR
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
2017 J jnl
Contrary description logic: Gentzen deduction system.
Sci. China Inf. Sci.
Wei Li, Yuefei Sui, Jie Luo, Bo Chen
2017 J jnl
On Completeness Results of Hoare Logic Relative to the Standard Model.
CoRR
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
2017 — conf
Quantified Propositional Logic and Translations.
SKG
Bo Chen, Cheng Wu, Bing Zhang, Changhui Ma, Yuefei Sui
2017 C conf
R-Calculus for the Primitive Statements in Description Logic
KSEM
Yuhui Wang, Cungen Cao, Yuefei Sui
2017 J jnl
The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬.
Frontiers Comput. Sci.
Wei Li, Yuefei Sui
2017 J jnl
The R-Calculus and the Finite Injury Priority Method.
J. Comput.
Li Wei, Yuefei Sui
2017 J jnl
The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL.
J. Intell. Fuzzy Syst.
Li Wei, Yuefei Sui, Yuhui Wang
2017 J jnl
The propositional normal default logic and the finite/infinite injury priority method.
Sci. China Inf. Sci.
Wei Li, Yuefei Sui, Yuhui Wang
2016 J jnl
Completeness of Hoare logic with inputs over the standard model.
Theor. Comput. Sci.
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
2016 J jnl
Initialization of K-modes clustering using outlier detection techniques.
Inf. Sci.
Feng Jiang, Guozhu Liu, Junwei Du, Yuefei Sui
2016 J jnl
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic.
Frontiers Comput. Sci.
Cungen Cao, Yuefei Sui, Zaiyue Zhang
2016 J jnl
The Sound and Complete Gentzen Deduction System for the Modalized Łukasiewicz Three-Valued Logic.
Int. J. Fuzzy Log. Intell. Syst.
Cungen Cao, Yuefei Sui
2015 J jnl
A novel approach for discretization of continuous attributes in rough set theory.
Knowl. Based Syst.
Feng Jiang, Yuefei Sui
2015 J jnl
A relative decision entropy-based feature selection approach.
Pattern Recognit.
Feng Jiang, Yuefei Sui, Lin Zhou
2015 J jnl
The B
J. Intell. Fuzzy Syst.
Cungen Cao, Bo Chen, Yuefei Sui
2015 — conf
The Variant Gentzen System for the Propositional Logic.
SKG
Bo Chen, Yuefei Sui, Cungen Cao
2015 J jnl
The sound and complete R-calculus for revising propositional theories.
Sci. China Inf. Sci.
Wei Li, Yuefei Sui, Meiying Sun
2014 — conf
A Sound and Complete Axiomatic System for Modality ☐ϕ≡☐
IIP
Shaobo Deng, Meiying Sun, Cungen Cao, Yuefei Sui
2014 J jnl
A sound and complete R-calculi with respect to contraction and minimal change.
Frontiers Comput. Sci.
Wei Li, Yuefei Sui
2014 J jnl
Description Logics are Hybrid Multi-Modal Logics.
Int. J. Softw. Informatics
Yuefei Sui, Meiying Sun
2014 — conf
The Correspondence between Propositional Modal Logic with Axiom ☐ϕ ↔ ⃟ ϕ and the Propositional Logic.
IIP
Meiying Sun, Shaobo Deng, Yuefei Sui
2013 J jnl
An incremental decision tree algorithm based on rough sets and its application in intrusion detection.
Artif. Intell. Rev.
Feng Jiang, Yuefei Sui, Cungen Cao
2013 J jnl
Relational Operations and Uncertainty Measure in Rough Relational Database.
Fundam. Informaticae
Feng Jiang, Xiaoyan Wan, Yuefei Sui, Cungen Cao, Junwei Du
2013 J jnl
The Maximal Relation Based on A Given Relation Schema and Its Concept Lattice.
J. Softw.
Yuxia Lei, Yuefei Sui, Jingying Tian
2012 J jnl
The correspondence between the concepts in description logics for contexts and formal concept analysis.
Sci. China Inf. Sci.
Yue Ma, Yuefei Sui, Cungen Cao
2011 J jnl
A Chinese time ontology for the Semantic Web.
Knowl. Based Syst.
Chunxia Zhang, Cungen Cao, Yuefei Sui, Xindong Wu
2011 J jnl
A hybrid approach to outlier detection based on boundary region.
Pattern Recognit. Lett.
Feng Jiang, Yuefei Sui, Cungen Cao
2011 C conf
On the Translation from Quantified Modal Logic into the Counterpart Theory Revisited.
KSEM
Yuming Shen, Yuefei Sui, Ju Wang
2010 — conf
A General Approach to Extracting Full Names and Abbreviations for Chinese Entities from the Web.
IIP
Guang Jiang, Cungen Cao, Yuefei Sui, Han Lu, Shi Wang
2010 J jnl
An information entropy-based approach to outlier detection in rough sets.
Expert Syst. Appl.
Feng Jiang, Yuefei Sui, Cungen Cao
2010 J jnl
Logical Connections of Statements at the Ontological Level.
Int. J. Cogn. Informatics Nat. Intell.
Cungen Cao, Yuefei Sui, Yu Sun
2010 — conf
Preservative Translations between Logical Systems.
IIP
Yuming Shen, Yue Ma, Cungen Cao, Yuefei Sui, Ju Wang
2010 J jnl
Relational Contexts and Relational Concepts.
Fundam. Informaticae
Feng Jiang, Yuefei Sui, Cungen Cao
2010 — conf
The Description Logic for Relational Databases.
IIP
Yue Ma, Yuming Shen, Yuefei Sui, Cungen Cao
2010 — conf
Translating Separation Logic into a Fragment of the First-Order Logic.
SKG
Yuefei Sui, Yuming Shen, Cungen Cao, Ju Wang
2009 — conf
Complementary Relations and Their Concept Lattices in Relational Databases.
SKG
Yuxia Lei, Yuefei Sui, Cungen Cao
2009 J jnl
Normalized-scale Relations and Their Concept Lattices in Relational Databases.
Fundam. Informaticae
Yuxia Lei, Yuefei Sui, Cungen Cao
2009 J jnl
Some issues about outlier detection in rough set theory.
Expert Syst. Appl.
Feng Jiang, Yuefei Sui, Cungen Cao
2009 C conf
The Dual Spatial Connectives of Separation Logic.
KSEM
Yuming Shen, Yuefei Sui, Ju Wang
2009 — conf
The Logical Operations on Relations, Scales and Concept Lattices.
SKG
Yuxia Lei, Yuefei Sui, Cungen Cao
2008 J jnl
A rough set approach to outlier detection.
Int. J. Gen. Syst.
Feng Jiang, Yuefei Sui, Cungen Cao
2008 Misc conf
An Ontology-based First-order Intensional Logic.
GrC
Feng Jiang, Yuefei Sui, Cungen Cao
2008 J jnl
Dynamic description logic model for data integration.
Frontiers Comput. Sci. China
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
2008 J jnl
Types, structures and theories in NKI.
Frontiers Comput. Sci. China
Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui
2007 C conf
A Chinese Time Ontology.
KSEM
Chunxia Zhang, Cungen Cao, Yuefei Sui, Zhendong Niu
2007 — conf
A Dynamic Description Logic Approach to Extended RBAC Model.
FGCN (1)
Li Ma, Shilong Ma, Yuefei Sui
2007 — conf
A Formal System for Lies Based on Speech Acts in Multi-Agent Systems.
FOCI
Yu Pan, Cungen Cao, Yuefei Sui
2007 — conf
An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries.
ER (Tutorials, Posters, Panels & Industrial Contributions)
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
2007 J jnl
Formal Concept Analysis in Relational Database and Rough Relational Database.
Fundam. Informaticae
Feng Jiang, Yuefei Sui, Cungen Cao
2007 J jnl
Well limit behaviors of term rewriting systems.
Frontiers Comput. Sci. China
Shilong Ma, Yuefei Sui, Ke Xu
2006 — conf
A Formal Description of Agents' Epistemic States and Environments.
IIP
Yu Sun, Cungen Cao, Yuefei Sui
2006 — conf
A Logic of Believable Agents.
IEEE ICCI
Yu Pan, Cungen Cao, Yuefei Sui
2006 — conf
A Service-Oriented Data Integration Architecture and the Integrating Tree.
GCC
Guoshun Hao, Shilong Ma, Jianghua Lv, Yuefei Sui
2006 C conf
A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.
TAMC
Zaiyue Zhang, Yuefei Sui, Cungen Cao
2006 J jnl
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.
Theor. Comput. Sci.
Zaiyue Zhang, Yuefei Sui, Cungen Cao, Guohua Wu
2006 — conf
An Ontology-Based First-Order Modal Logic.
RSCTC
Feng Jiang, Yuefei Sui, Cungen Cao
2006 — conf
Default Description Logics with Reversing Inference Rules.
IEEE ICCI
Yu Sun, Yuefei Sui
2006 — conf
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic.
RSKT
Zaiyue Zhang, Yuefei Sui, Cungen Cao
2006 — conf
Logical Connections of Statements in Ontologies.
IEEE ICCI
Cungen Cao, Yuefei Sui, Yu Sun
2006 — conf
One Axiomatic System for the Ontology Revision.
IIP
Yu Sun, Yuefei Sui, Zhiping Li
2006 — conf
Outlier Detection Based on Rough Membership Function.
RSCTC
Feng Jiang, Yuefei Sui, Cungen Cao
2006 — conf
Rough Contexts and Rough-Valued Contexts.
RSKT
Feng Jiang, Yuefei Sui, Cungen Cao
2006 — conf
The Rough Logic and Roughness of Logical Theories.
RSKT
Cungen Cao, Yuefei Sui, Zaiyue Zhang
2005 — conf
Building an Ontology and Knowledge Base of the Human Meridian-Collateral System.
SGAI Conf. (Applications)
Cungen Cao, Yuefei Sui
2005 — conf
Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics.
RSFDGrC (1)
Zaiyue Zhang, Yuefei Sui, Cungen Cao
2005 J jnl
Logical Sentences as the Intent of Concepts.
J. Comput. Sci. Technol.
Yu Sun, Yuefei Sui, Youming Xia
2005 — conf
Outlier Detection Using Rough Set Theory.
RSFDGrC (2)
Feng Jiang, Yuefei Sui, Cungen Cao
2005 — conf
The Graph-Theoretical Properties of Partitions and Information Entropy.
RSFDGrC (1)
Cungen Cao, Yuefei Sui, Youming Xia
2005 A* conf
The Ontology Revision.
IJCAI
Yu Sun, Yuefei Sui
2005 Misc conf
Translating Ontologies to Default Logic.
AIAI
Yu Sun, Yuefei Sui
2004 J jnl
Domain-Specific Ontology of Botany.
J. Comput. Sci. Technol.
Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian
2004 — conf
Fuzzy Reasoning Based on Propositional Modal Logic.
Rough Sets and Current Trends in Computing
Zaiyue Zhang, Yuefei Sui, Cungen Cao
2004 J jnl
Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text.
Artif. Intell. Medicine
Cungen Cao, Haitao Wang, Yuefei Sui
2004 Misc conf
PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory.
FLAIRS
Jinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui
2004 B conf
ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems.
KES
Jinxin Si, Cungen Cao, Yuefei Sui, Xiaoli Yue, Nengfu Xie
2003 — conf
Rough Mereology in Knowledge Representation.
RSFDGrC
Cungen Cao, Yuefei Sui, Zaiyue Zhang
2003 — conf
The Information Entropy of Rough Relational Databases.
RSFDGrC
Yuefei Sui, Youming Xia, Ju Wang
2002 J jnl
Progress in the Development of National Knowledge Infrastructure.
J. Comput. Sci. Technol.
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
2002 J jnl
The Contiguity in R/M.
J. Comput. Sci. Technol.
Zaiyue Zhang, Yuefei Sui
2002 B conf
The Limits of Horn Logic Programs.
ICLP
Shilong Ma, Yuefei Sui, Ke Xu
2002 J jnl
The Prioritized Inductive Logic Programs
CoRR
Shilong Ma, Yuefei Sui, Ke Xu
2001 J jnl
A Logical Framework for Convergent Infinite Computations
CoRR
Wei Li, Shilong Ma, Yuefei Sui, Ke Xu
2001 B conf
Concept Approximation in Concept Lattice.
PAKDD
Keyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang, Chunyi Shi
2001 J jnl
Local noncuppability in R/M.
Sci. China Ser. F Inf. Sci.
Zaiyue Zhang, Yuefei Sui
2001 — conf
Rough Set Theory under the Similarity Relations.
ISAS-SCI (1)
Keyun Hu, Yuefei Sui, Ju Wang, Yuchang Lu
2001 — conf
The Entropy of Rough Relations in Rough Relational Databases.
ISAS-SCI (1)
Yuefei Sui, Ju Wang, Jian Yuncheng
2001 J jnl
The Limits of Horn Logic Programs
CoRR
Shilong Ma, Yuefei Sui, Ke Xu
2001 J jnl
Two Online Algorithms for the Ambulance Systems.
J. Comput. Sci. Technol.
Yuefei Sui
1999 J jnl
The Cupping Theorem in R/M.
J. Symb. Log.
Yuefei Sui, Zaiyue Zhang
1996 J jnl
An Extended Lachlan Splitting Theorem.
Ann. Pure Appl. Log.
Steffen Lempp, Yuefei Sui
1994 J jnl
A New Reducibility between Turing- and wtt-Reducibility.
Math. Log. Q.
Yuefei Sui
1993 J jnl
Bounded recursively enumerable sets and degrees.
J. Comput. Sci. Technol.
Yuefei Sui