![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Shuwei Chen 0001
Person information
- affiliation: Southwest Jiaotong University, School of Mathematics, Chengdu, China
- affiliation (PhD 2014): University of Ulster, School of Computing and Mathematics, Ulster, UK
Other persons with the same name
- Shuwei Chen — disambiguation page
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j27]Guoyan Zeng
, Shuwei Chen
, Jun Liu
, Yang Xu, Peiyao Liu
:
A complementary ratio based clause selection method for contradiction separation dynamic deduction. Knowl. Based Syst. 284: 111238 (2024) - 2023
- [j26]Peiyao Liu
, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu:
Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci. 622: 337-356 (2023) - [j25]Peiyao Liu
, Shuwei Chen
, Jun Liu
, Yang Xu, Feng Cao, Guanfeng Wu
:
An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. Knowl. Based Syst. 261: 110217 (2023) - [c18]Jian Zhong, Peiyao Liu, Shuwei Chen:
Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning. ISKE 2023: 426-430 - [c17]Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen:
Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. ISKE 2023: 450-457 - 2021
- [j24]Shuwei Chen, Jun Liu, Yang Xu:
A logical reasoning based decision making method for handling qualitative knowledge. Int. J. Approx. Reason. 129: 49-63 (2021) - [j23]Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He:
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. 566: 118-139 (2021) - [j22]Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, JianBing Yi
:
A multi-clause dynamic deduction algorithm based on standard contradiction separation rule. Inf. Sci. 566: 281-299 (2021) - [e1]Shuwei Chen, Jie Hu, Tianrui Li, Luis Martínez, Jun Liu:
16th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2021, Chengdu, China, November 26-28, 2021. IEEE 2021, ISBN 978-1-6654-0553-9 [contents] - 2020
- [j21]Hairui Jia
, Shuwei Chen:
Integrated data and knowledge driven methodology for human activity recognition. Inf. Sci. 536: 409-430 (2020) - [j20]Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu:
Improving WalkSAT for Random 3-SAT Problems. J. Univers. Comput. Sci. 26(2): 220-243 (2020) - [j19]Shuwei Chen, David H. Glass, Mark McCartney:
How Opinion Leaders Affect Others on Seeking Truth in a Bounded Confidence Model. Symmetry 12(8): 1362 (2020)
2010 – 2019
- 2019
- [j18]Shuwei Chen, David H. Glass, Mark McCartney:
Two-dimensional opinion dynamics in social networks with conflicting beliefs. AI Soc. 34(4): 695-704 (2019) - [j17]Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu:
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Int. J. Comput. Intell. Syst. 12(2): 1245-1254 (2019) - [j16]Wenjing Chang, Yang Xu, Shuwei Chen:
An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers. Symmetry 11(2): 197 (2019) - [j15]Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning:
CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic. Symmetry 11(9): 1142 (2019) - [c16]Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu:
A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. ISKE 2019: 69-73 - 2018
- [j14]Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen:
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 11(1): 384-401 (2018) - [j13]Wenjing Chang, Yang Xu, Shuwei Chen:
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers. Int. J. Comput. Intell. Syst. 12(1): 334-341 (2018) - [j12]Yang Xu, Jun Liu
, Shuwei Chen, Xiaomei Zhong, Xingxing He
:
Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462: 93-113 (2018) - 2017
- [c15]Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He:
Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE 2017: 1-6 - 2015
- [j11]Shuwei Chen, Jun Liu
, Hui Wang
, Juan Carlos Augusto:
A group decision making model for partially ordered preference under uncertainty. Inf. Fusion 25: 32-41 (2015) - [c14]Shuwei Chen, David H. Glass, Mark McCartney
:
Dynamics of Conflicting Beliefs in Social Networks. CompleNet 2015: 171-178 - [c13]Yang Xu, Jun Liu
, Xingxing He, Xiaomei Zhong, Shuwei Chen:
Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. ISKE 2015: 1-7 - 2014
- [b1]Shuwei Chen:
Ordering based decision making. Ulster University, UK, 2014 - [j10]Xiaomei Zhong, Yang Xu, Jun Liu
, Shuwei Chen:
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 7(3): 418-431 (2014) - [j9]Shuwei Chen, Jun Liu
, Hui Wang
, Yang Xu, Juan Carlos Augusto:
A linguistic multi-criteria decision making approach based on logical reasoning. Inf. Sci. 258: 266-276 (2014) - [j8]Jun Liu
, Wenjiang Li, Shuwei Chen, Yang Xu:
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. Inf. Sci. 263: 110-125 (2014) - [j7]Xingxing He, Yang Xu, Jun Liu
, Shuwei Chen:
A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic. Soft Comput. 18(11): 2135-2147 (2014) - [c12]Shuwei Chen, David H. Glass, Mark McCartney:
Dynamics of Multidimensional Conflicting Opinions in Social Networks. ECSI 2014: 76-86 - [c11]Min Jing, Hui Wang, Kathy M. Clawson, Sonya A. Coleman
, Shuwei Chen, Jun Liu, Bryan W. Scotney:
Recognition by Enhanced Bag of Words Model via Topographic ICA. UCAmI 2014: 523-531 - [c10]Shuwei Chen, Kathy M. Clawson, Min Jing, Jun Liu
, Hui Wang
, Bryan W. Scotney:
Uncertainty Reasoning Based Formal Framework for Big Video Data Understanding. WI-IAT (1) 2014: 487-494 - 2013
- [j6]Shuwei Chen, Jun Liu
, Hui Wang
, Juan Carlos Augusto:
Ordering based decision making - A survey. Inf. Fusion 14(4): 521-531 (2013) - [j5]Yang Xu, Jun Liu
, Xiaomei Zhong, Shuwei Chen:
Multiary α-Resolution Principle for a Lattice-Valued Logic. IEEE Trans. Fuzzy Syst. 21(5): 898-912 (2013) - [c9]Wenjiang Li, Shuwei Chen:
An automated reasoning method on first-order tense logic. ICMLC 2013: 1706-1711 - [c8]Shuwei Chen, Jun Liu, Hui Wang
, Juan Carlos Augusto:
An evidential reasoning based approach for decision making with partially ordered preference under uncertainty. ICMLC 2013: 1712-1717 - [c7]Shuwei Chen, Jun Liu
, Hui Wang
, Juan Carlos Augusto:
A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning. SMC 2013: 3495-3499 - 2012
- [j4]Xingxing He, Yang Xu, Jun Liu
, Shuwei Chen:
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic. Int. J. Comput. Intell. Syst. 5(6): 1120-1134 (2012) - [j3]Yang Xu, Jun Liu
, Xiaomei Zhong, Shuwei Chen:
Lattice-valued matrix game with mixed strategies for intelligent decision support. Knowl. Based Syst. 32: 56-64 (2012) - [j2]Xingxing He, Yang Xu, Jun Liu
, Shuwei Chen:
On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. 16(4): 699-709 (2012) - [j1]Xiaomei Zhong, Yang Xu, Jun Liu
, Shuwei Chen:
General form of α-resolution principle for linguistic truth-valued lattice-valued logic. Soft Comput. 16(10): 1767-1781 (2012) - 2011
- [c6]Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto:
Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic. ECSQARU 2011: 582-593
2000 – 2009
- 2007
- [c5]Jiajun Lai, Shuwei Chen, Yang Xu, Keyun Qin, Li Chen:
On Relationships of Filters in Lattice Implication Algebra. ICFIE 2007: 1000-1008 - [c4]Yang Xu, Shuwei Chen, Jun Liu, Da Ruan:
Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic. IFSA (2) 2007: 358-366 - 2005
- [c3]Shuwei Chen, Yang Xu, Jun Ma:
A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic. FSKD (1) 2005: 276-284 - [c2]Shuwei Chen, Li Zou, Yan Gao, Yang Xu:
A kind of support vector fuzzy classifiers. GrC 2005: 405-408 - 2004
- [c1]Shuwei Chen, Yang Xu:
Uncertainty reasoning based on lattice-valued first-order logic Lvfl. SMC (3) 2004: 2237-2242
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-18 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint