JOURNAL OF AUTOMATED REASONING
ISSN:0168-7433

JOURNAL OF AUTOMATED REASONING

自动推理杂志
J AUTOM REASONING
学科领域:计算机科学
是否预警:不在预警名单内
是否OA:
录用周期:>12周,或约稿
新锐分区:计算机科学2区
年发文量:25
影响因子:0.8
JCR分区:Q4

基本信息

自动推理杂志(Journal Of Automated Reasoning)是一本由Springer Netherlands出版的一本工程技术-计算机:人工智能学术刊物,主要报道工程技术-计算机:人工智能相关领域研究成果与实践。本刊已入选来源期刊,该刊创刊于1985年,出版周期Bimonthly。2021-2022年最新版WOS分区等级:Q4,2023年发布的影响因子为0.9,CiteScore指数3.6,SJR指数0.873。本刊非开放获取期刊。《自动推理杂志》是一本跨学科杂志,在理论、实施和应用之间保持平衡。出版的材料范围从介绍新的推理规则及其逻辑属性的证明到详细说明用于解决工业中各种问题的计算机程序。主要涵盖的领域包括自动定理证明、逻辑编程、专家系统、程序合成和验证、人工智能、计算逻辑、机器人技术和各种工业应用。这些论文的共同特点是重点关注自动推理的几个方面,该领域的目标是设计和实施一种计算机程序,作为解决问题和回答需要推理的问题的助手。《自动推理杂志》为那些纯粹对理论感兴趣的人、主要对实施感兴趣的人以及对特定研究和工业应用感兴趣的人提供了一个论坛和信息交流方式。
0168-7433SCIE/Scopus收录
0.8
0.6
2026年3月发布
点击查看历史分区趋势    >
大类学科小类学科Top期刊综述期刊
计算机科学2区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能
3区
N/A
WOS期刊SCI分区  2024-2025最新升级版
按JIF指标学科分区收集子录JIF分区JIF排名百分位
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
SCIE
Q4
186/204
按JCR指标学科分区收集子录JCR分区JCR排名百分位
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
SCIE
Q4
174/204
49
25
2%容易>12周,或约稿-工程技术-计算机:人工智能
0%
时间预警情况
2026年03月发布的新锐学术版不在预警名单中
2025年03月发布的2025版不在预警名单中
2024年02月发布的2024版不在预警名单中
2023年01月发布的2023版不在预警名单中
2021年12月发布的2021版不在预警名单中
2020年12月发布的2020版不在预警名单中
100.00%52.22%-
CiteScore:3.10
SJR:0.616
SNIP:1.149
学科类别分区排名百分位
大类:Computer Science
小类:Computational Theory and Mathematics
Q2
86 / 197
大类:Computer Science
小类:Artificial Intelligence
Q3
233 / 450
大类:Computer Science
小类:Software
Q3
272 / 490

相关文章

2026年3月发布(新锐分区)
大类学科小类学科Top期刊综述期刊
计算机科学2区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能
3区
N/A
2025年3月升级版
大类学科小类学科Top期刊综述期刊
计算机科学3区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能
3区
2023年12月旧的升级版
大类学科小类学科Top期刊综述期刊
计算机科学3区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能
3区