logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Shuwei Chen

southwest jiaotong university

3H-index
6Paper Count
18Citation Count
Published Papers 4
Publication Date
logo
Δ1: An Automated Theorem Generator
errINTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS
IF3
err2025-11-21
err1
errOAAI
errXu, Yang; Guo, Hailin; Chen, Shuwei; Liu, Jun
errShare
errSave
Multilayer inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanism
errEngineering Applications of Artificial Intelligence
IF8
err2025-11-12
err0
PREAI
errGuoyan Zeng; Guanfeng Wu; Shuwei Chen; Peiyao Liu; Jun Liu; Yang Xu; Jian Zhong
errShare
errSave
A complementary ratio based clause selection method for contradiction separation dynamic deduction
errKNOWLEDGE-BASED SYSTEMS
IF7.6
err2024-01-01
err0
PREAI
errZeng, Guoyan; Chen, Shuwei; Liu, Jun; Xu, Yang; Liu, Peiyao
errShare
errSave
An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability
errKNOWLEDGE-BASED SYSTEMS
IF7.6
err2023-02-01
err3
errOAAI
errLiu, Peiyao; Chen, Shuwei; Liu, Jun; Xu, Yang; Cao, Feng; Wu, Guanfeng
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
刘
刘军 (Jun Liu)
H-index: 50 · Papers: 942
Y
Yang Xu
H-index: 26 · Papers: 413
X
Xu Yang
H-index: 20 · Papers: 105
F
Feng Cao
H-index: 19 · Papers: 206
H
Hailin Guo
H-index: 15 · Papers: 82
View more