Uncertainty reasoning based on lattice-valued first-order logic Lvfl. - Shuwei Chen 001; Yang Xu 001 (SMC (3), 2004)

A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic. - Shuwei Chen 001; Yang Xu 001; Jun Ma 002 (FSKD (1), 2005)

A kind of support vector fuzzy classifiers. - Shuwei Chen 001; Li Zou; Yan Gao; Yang Xu 001 (GrC, 2005)

On Relationships of Filters in Lattice Implication Algebra. - Jiajun Lai; Shuwei Chen 001; Yang Xu 001; Keyun Qin; Li Chen (ICFIE, 2007)

Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic. - Yang Xu 001; Shuwei Chen 001; Jun Liu 001; Da Ruan 001 (IFSA (2), 2007)

Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic. - Shuwei Chen 001; Jun Liu 001; Hui Wang 001; Juan Carlos Augusto (ECSQARU, 2011)

α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic. - Xingxing He; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2012)

Lattice-valued matrix game with mixed strategies for intelligent decision support. - Yang Xu 001; Jun Liu 001; Xiaomei Zhong; Shuwei Chen 001 (Knowl. Based Syst., 2012)

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. - Xingxing He; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Soft Comput., 2012)

General form of α-resolution principle for linguistic truth-valued lattice-valued logic. - Xiaomei Zhong; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Soft Comput., 2012)

An evidential reasoning based approach for decision making with partially ordered preference under uncertainty. - Shuwei Chen 001; Jun Liu 001; Hui Wang 001; Juan Carlos Augusto (ICMLC, 2013)

An automated reasoning method on first-order tense logic. - Wenjiang Li; Shuwei Chen 001 (ICMLC, 2013)

A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning. - Shuwei Chen 001; Jun Liu 001; Hui Wang 001; Juan Carlos Augusto (SMC, 2013)

Ordering based decision making - A survey. - Shuwei Chen 001; Jun Liu 001; Hui Wang 001; Juan Carlos Augusto (Inf. Fusion, 2013)

Multiary α-Resolution Principle for a Lattice-Valued Logic. - Yang Xu 001; Jun Liu 001; Xiaomei Zhong; Shuwei Chen 001 (IEEE Trans. Fuzzy Syst., 2013)

Dynamics of Multidimensional Conflicting Opinions in Social Networks. - Shuwei Chen 001; David H. Glass; Mark McCartney (ECSI, 2014)

Recognition by Enhanced Bag of Words Model via Topographic ICA. - Min Jing; Hui Wang 001; Kathy M. Clawson; Sonya A. Coleman; Shuwei Chen 001; Jun Liu 001; Bryan W. Scotney (UCAmI, 2014)

Uncertainty Reasoning Based Formal Framework for Big Video Data Understanding. - Shuwei Chen 001; Kathy M. Clawson; Min Jing; Jun Liu 001; Hui Wang 001; Bryan W. Scotney (WI-IAT (1), 2014)

α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic. - Xiaomei Zhong; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2014)

A linguistic multi-criteria decision making approach based on logical reasoning. - Shuwei Chen 001; Jun Liu 001; Hui Wang 001; Yang Xu 001; Juan Carlos Augusto (Inf. Sci., 2014)

An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. - Jun Liu 001; Wenjiang Li; Shuwei Chen 001; Yang Xu 001 (Inf. Sci., 2014)

A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic. - Xingxing He; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Soft Comput., 2014)

Ordering based decision making. - Shuwei Chen 001 (2014)

Dynamics of Conflicting Beliefs in Social Networks. - Shuwei Chen 001; David H. Glass; Mark McCartney (CompleNet, 2015)

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. - Yang Xu 001; Jun Liu 001; Xingxing He; Xiaomei Zhong; Shuwei Chen 001 (ISKE, 2015)

A group decision making model for partially ordered preference under uncertainty. - Shuwei Chen 001; Jun Liu 001; Hui Wang 001; Juan Carlos Augusto (Inf. Fusion, 2015)

Some synergized clause selection strategies for contradiction separation based automated deduction. - Shuwei Chen 001; Yang Xu 001; Yan Jiang; Jun Liu 001; Xingxing He (ISKE, 2017)

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. - Yang Xu 001; Jun Liu 001; Xingxing He; Xiaomei Zhong; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2018)

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers. - Wenjing Chang; Yang Xu 001; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2018)

Contradiction separation based dynamic multi-clause synergized automated deduction. - Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Xiaomei Zhong; Xingxing He (Inf. Sci., 2018)

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. - Feng Cao; Yang Xu 001; Shuwei Chen 001; Xinran Ning; Guanfeng Wu (ISKE, 2019)

Two-dimensional opinion dynamics in social networks with conflicting beliefs. - Shuwei Chen 001; David H. Glass; Mark McCartney (AI Soc., 2019)

A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. - Feng Cao; Yang Xu 001; Shuwei Chen 001; Jian Zhong; Guanfeng Wu (Int. J. Comput. Intell. Syst., 2019)

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic. - Feng Cao; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Xinran Ning (Symmetry, 2019)

An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers. - Wenjing Chang; Yang Xu 001; Shuwei Chen 001 (Symmetry, 2019)

Integrated data and knowledge driven methodology for human activity recognition. - Hairui Jia; Shuwei Chen 001 (Inf. Sci., 2020)

Improving WalkSAT for Random 3-SAT Problems. - Huimin Fu 002; Yang Xu 001; Shuwei Chen 001; Jun Liu 001 (J. Univers. Comput. Sci., 2020)

How Opinion Leaders Affect Others on Seeking Truth in a Bounded Confidence Model. - Shuwei Chen 001; David H. Glass; Mark McCartney (Symmetry, 2020)

A logical reasoning based decision making method for handling qualitative knowledge. - Shuwei Chen 001; Jun Liu 001; Yang Xu 001 (Int. J. Approx. Reason., 2021)

A multi-clause dynamic deduction algorithm based on standard contradiction separation rule. - Feng Cao; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; JianBing Yi (Inf. Sci., 2021)

Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. - Huimin Fu 002; Yang Xu 001; Guanfeng Wu; Jun Liu 001; Shuwei Chen 001; Xingxing He (Inf. Sci., 2021)

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. - Xia Wang; Yang Xu 001; Jun Liu 001; Guanfeng Wu; Shuwei Chen 001 (ISKE, 2023)

Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning. - Jian Zhong; Peiyao Liu; Shuwei Chen 001 (ISKE, 2023)

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. - Peiyao Liu; Shuwei Chen 001; Jun Liu 001; Yang Xu 001; Feng Cao; Guanfeng Wu (Knowl. Based Syst., 2023)

Fully reusing clause deduction algorithm based on standard contradiction separation rule. - Peiyao Liu; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Feng Cao; Guanfeng Wu (Inf. Sci., 2023)

A complementary ratio based clause selection method for contradiction separation dynamic deduction. - Guoyan Zeng; Shuwei Chen 001; Jun Liu 001; Yang Xu 001; Peiyao Liu (Knowl. Based Syst., 2024)