Shuwei Chen

According to our database, Shuwei Chen authored at least 45 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Fully reusing clause deduction algorithm based on standard contradiction separation rule.

Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu

Inf. Sci., April, 2023

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.

Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu

Knowl. Based Syst., 2023

Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning.

Jian Zhong, Peiyao Liu, Shuwei Chen

Proceedings of the 18th International Conference on Intelligent Systems and Knowledge Engineering, 2023

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments.

Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen

Proceedings of the 18th International Conference on Intelligent Systems and Knowledge Engineering, 2023

2021

Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.

Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He

Inf. Sci., 2021

A multi-clause dynamic deduction algorithm based on standard contradiction separation rule.

Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, JianBing Yi

Inf. Sci., 2021

A logical reasoning based decision making method for handling qualitative knowledge.

Shuwei Chen, Jun Liu, Yang Xu

Int. J. Approx. Reason., 2021

2020

How Opinion Leaders Affect Others on Seeking Truth in a Bounded Confidence Model.

Shuwei Chen, David H. Glass, Mark McCartney

Symmetry, 2020

Improving WalkSAT for Random 3-SAT Problems.

Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu

J. Univers. Comput. Sci., 2020

Integrated data and knowledge driven methodology for human activity recognition.

Hairui Jia, Shuwei Chen

Inf. Sci., 2020

2019

An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers.

Wenjing Chang, Yang Xu, Shuwei Chen

Symmetry, 2019

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic.

Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning

Symmetry, 2019

A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search.

Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu

Int. J. Comput. Intell. Syst., 2019

Two-dimensional opinion dynamics in social networks with conflicting beliefs.

Shuwei Chen, David H. Glass, Mark McCartney

AI Soc., 2019

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance.

Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018

Contradiction separation based dynamic multi-clause synergized automated deduction.

Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He

Inf. Sci., 2018

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers.

Wenjing Chang, Yang Xu, Shuwei Chen

Int. J. Comput. Intell. Syst., 2018

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Int. J. Comput. Intell. Syst., 2018

2017

Some synergized clause selection strategies for contradiction separation based automated deduction.

Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

2015

A group decision making model for partially ordered preference under uncertainty.

Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto

Inf. Fusion, 2015

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Dynamics of Conflicting Beliefs in Social Networks.

Shuwei Chen, David H. Glass, Mark McCartney

Proceedings of the Complex Networks VI, 2015

2014

Ordering based decision making.

Shuwei Chen

PhD thesis, 2014

A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2014

An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words.

Jun Liu, Wenjiang Li, Shuwei Chen, Yang Xu

Inf. Sci., 2014

A linguistic multi-criteria decision making approach based on logical reasoning.

Shuwei Chen, Jun Liu, Hui Wang, Yang Xu, Juan Carlos Augusto

Inf. Sci., 2014

<i>α</i>-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic.

Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen

Int. J. Comput. Intell. Syst., 2014

Uncertainty Reasoning Based Formal Framework for Big Video Data Understanding.

Shuwei Chen, Kathy M. Clawson, Min Jing, Jun Liu, Hui Wang, Bryan W. Scotney

Proceedings of the 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014, 2014

Recognition by Enhanced Bag of Words Model via Topographic ICA.

Min Jing, Hui Wang, Kathy M. Clawson, Sonya A. Coleman, Shuwei Chen, Jun Liu, Bryan W. Scotney

Proceedings of the Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services, 2014

Dynamics of Multidimensional Conflicting Opinions in Social Networks.

Shuwei Chen, David H. Glass, Mark McCartney

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

2013

Multiary α-Resolution Principle for a Lattice-Valued Logic.

Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen

IEEE Trans. Fuzzy Syst., 2013

Ordering based decision making - A survey.

Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto

Inf. Fusion, 2013

A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning.

Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto

Proceedings of the IEEE International Conference on Systems, 2013

An automated reasoning method on first-order tense logic.

Wenjiang Li, Shuwei Chen

Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

An evidential reasoning based approach for decision making with partially ordered preference under uncertainty.

Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto

Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

2012

General form of α-resolution principle for linguistic truth-valued lattice-valued logic.

Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2012

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2012

Lattice-valued matrix game with mixed strategies for intelligent decision support.

Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen

Knowl. Based Syst., 2012

α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Int. J. Comput. Intell. Syst., 2012

2011

Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic.

Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2007

Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic.

Yang Xu, Shuwei Chen, Jun Liu, Da Ruan

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

On Relationships of Filters in Lattice Implication Algebra.

Jiajun Lai, Shuwei Chen, Yang Xu, Keyun Qin, Li Chen

Proceedings of the Fuzzy Information and Engineering, 2007

2005

A kind of support vector fuzzy classifiers.

Shuwei Chen, Li Zou, Yan Gao, Yang Xu

Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic.

Shuwei Chen, Yang Xu, Jun Ma

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

2004

Uncertainty reasoning based on lattice-valued first-order logic L_vfl.

Shuwei Chen, Yang Xu

Proceedings of the IEEE International Conference on Systems, 2004