科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
S
Shuwei Chen
southwest jiaotong university
3
H指数
6
论文数
18
被引数
0
相关解读
订阅
收录论文
4
发表时间
发表时间
IF
被引数
Δ1: An Automated Theorem Generator
Δ1: 自动定理生成器
INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS
IF
3
2025-11-21
1
OA
AI
Xu, Yang; Guo, Hailin; Chen, Shuwei; Liu, Jun
分享
收藏
Multilayer inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanism
基于并联机构的标准矛盾分离规则的多层逆向动力学推导算法
Engineering Applications of Artificial Intelligence
IF
8
2025-11-12
0
PRE
AI
Guoyan Zeng; Guanfeng Wu; Shuwei Chen; Peiyao Liu; Jun Liu; Yang Xu; Jian Zhong
分享
收藏
A complementary ratio based clause selection method for contradiction separation dynamic deduction
基于互补比率的矛盾分离动态演绎从句选择方法
KNOWLEDGE-BASED SYSTEMS
IF
7.6
2024-01-01
0
PRE
AI
Zeng, Guoyan; Chen, Shuwei; Liu, Jun; Xu, Yang; Liu, Peiyao
分享
收藏
An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability
一种有效的基于矛盾分离的自动推理算法,可提高推理能力
KNOWLEDGE-BASED SYSTEMS
IF
7.6
2023-02-01
3
OA
AI
Liu, Peiyao; Chen, Shuwei; Liu, Jun; Xu, Yang; Cao, Feng; Wu, Guanfeng
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
刘
刘军
(Jun Liu)
H 指数: 50 · 论文数: 941
Y
Yang Xu
H 指数: 26 · 论文数: 413
X
Xu Yang
H 指数: 20 · 论文数: 105
F
Feng Cao
H 指数: 19 · 论文数: 206
H
Hailin Guo
H 指数: 15 · 论文数: 82
查看更多