Shuwei Chen

52 papers B 1C 1Misc 9Journal 32Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Multilayer inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanism.
Eng. Appl. Artif. Intell.
Guoyan Zeng, Guanfeng Wu, Shuwei Chen, Peiyao Liu, Jun Liu, Yang Xu, Jian Zhong
2026 J jnl
Towards multi-clause automated deduction and theorem generation: Constructing and applying standard contradictions.
Knowl. Based Syst.
Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He
2025 J jnl
An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction.
CoRR
Yang Xu, Peiyao Liu, Shuwei Chen, Jun Liu
2025 J jnl
Contradictions.
CoRR
Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He
2025 J jnl
Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm.
CoRR
Yang Xu, Xingxing He, Shuwei Chen, Jun Liu, Xiaomei Zhong
2025 J jnl
Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction.
CoRR
Yang Xu, Shuwei Chen, Jun Liu, Feng Cao, Xingxing He
2024 J jnl
A complementary ratio based clause selection method for contradiction separation dynamic deduction.
Knowl. Based Syst.
Guoyan Zeng, Shuwei Chen, Jun Liu, Yang Xu, Peiyao Liu
2023 Misc conf
Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning.
ISKE
Jian Zhong, Peiyao Liu, Shuwei Chen
2023 J jnl
An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.
Knowl. Based Syst.
Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu
2023 Misc conf
Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments.
ISKE
Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen
2023 J jnl
Fully reusing clause deduction algorithm based on standard contradiction separation rule.
Inf. Sci.
Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu
2021 Misc ed.
16th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2021, Chengdu, China, November 26-28, 2021
ISKE
Shuwei Chen, Jie Hu, Tianrui Li, Luis Martínez, Jun Liu
2021 J jnl
A logical reasoning based decision making method for handling qualitative knowledge.
Int. J. Approx. Reason.
Shuwei Chen, Jun Liu, Yang Xu
2021 J jnl
A multi-clause dynamic deduction algorithm based on standard contradiction separation rule.
Inf. Sci.
Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Jianbing Yi
2021 J jnl
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.
Inf. Sci.
Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He
2020 J jnl
How Opinion Leaders Affect Others on Seeking Truth in a Bounded Confidence Model.
Symmetry
Shuwei Chen, David H. Glass, Mark McCartney
2020 J jnl
Improving WalkSAT for Random 3-SAT Problems.
J. Univers. Comput. Sci.
Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu
2020 J jnl
Integrated data and knowledge driven methodology for human activity recognition.
Inf. Sci.
Hairui Jia, Shuwei Chen
2019 J jnl
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search.
Int. J. Comput. Intell. Syst.
Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu
2019 Misc conf
A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance.
ISKE
Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu
2019 J jnl
An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers.
Symmetry
Wenjing Chang, Yang Xu, Shuwei Chen
2019 J jnl
CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic.
Symmetry
Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning
2019 J jnl
Two-dimensional opinion dynamics in social networks with conflicting beliefs.
AI Soc.
Shuwei Chen, David H. Glass, Mark McCartney
2018 J jnl
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers.
Int. J. Comput. Intell. Syst.
Wenjing Chang, Yang Xu, Shuwei Chen
2018 J jnl
Contradiction separation based dynamic multi-clause synergized automated deduction.
Inf. Sci.
Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He
2018 J jnl
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.
Int. J. Comput. Intell. Syst.
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
2017 Misc conf
Some synergized clause selection strategies for contradiction separation based automated deduction.
ISKE
Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He
2015 J jnl
A group decision making model for partially ordered preference under uncertainty.
Inf. Fusion
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto
2015 — conf
Dynamics of Conflicting Beliefs in Social Networks.
CompleNet
Shuwei Chen, David H. Glass, Mark McCartney
2015 Misc conf
Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.
ISKE
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
2014 J jnl
A linguistic multi-criteria decision making approach based on logical reasoning.
Inf. Sci.
Shuwei Chen, Jun Liu, Hui Wang, Yang Xu, Juan Carlos Augusto
2014 J jnl
A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic.
Soft Comput.
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2014 J jnl
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words.
Inf. Sci.
Jun Liu, Wenjiang Li, Shuwei Chen, Yang Xu
2014 — conf
Dynamics of Multidimensional Conflicting Opinions in Social Networks.
ECSI
Shuwei Chen, David H. Glass, Mark McCartney
2014 — —
Ordering based decision making.
Shuwei Chen
2014 — conf
Recognition by Enhanced Bag of Words Model via Topographic ICA.
UCAmI
Min Jing, Hui Wang, Kathy M. Clawson, Sonya A. Coleman, Shuwei Chen, Jun Liu, Bryan W. Scotney
2014 — conf
Uncertainty Reasoning Based Formal Framework for Big Video Data Understanding.
WI-IAT (1)
Shuwei Chen, Kathy M. Clawson, Min Jing, Jun Liu, Hui Wang, Bryan W. Scotney
2013 B conf
A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning.
SMC
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto
2013 Misc conf
An automated reasoning method on first-order tense logic.
ICMLC
Wenjiang Li, Shuwei Chen
2013 Misc conf
An evidential reasoning based approach for decision making with partially ordered preference under uncertainty.
ICMLC
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto
2013 J jnl
Multiary α-Resolution Principle for a Lattice-Valued Logic.
IEEE Trans. Fuzzy Syst.
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen
2013 J jnl
Ordering based decision making - A survey.
Inf. Fusion
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto
2012 J jnl
General form of α-resolution principle for linguistic truth-valued lattice-valued logic.
Soft Comput.
Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen
2012 J jnl
Lattice-valued matrix game with mixed strategies for intelligent decision support.
Knowl. Based Syst.
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen
2012 J jnl
On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic.
Soft Comput.
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2012 J jnl
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic.
Int. J. Comput. Intell. Syst.
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2011 C conf
Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic.
ECSQARU
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto
2007 — conf
On Relationships of Filters in Lattice Implication Algebra.
ICFIE
Jiajun Lai, Shuwei Chen, Yang Xu, Keyun Qin, Li Chen
2007 — conf
Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic.
IFSA (2)
Yang Xu, Shuwei Chen, Jun Liu, Da Ruan
2005 — conf
A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic.
FSKD (1)
Shuwei Chen, Yang Xu, Jun Ma
2005 Misc conf
A kind of support vector fuzzy classifiers.
GrC
Shuwei Chen, Li Zou, Yan Gao, Yang Xu
2004 — conf
Uncertainty reasoning based on lattice-valued first-order logic L
SMC (3)
Shuwei Chen, Yang Xu