Scholay

学术搜索 · AI 审稿 · LaTeX 协作

首页 › 期刊 › 计算机科学 › Journal of Automated Reasoning

Journal of Automated Reasoning

出版商:Springer-Verlag · ISSN:0168-7433, 1573-0670 · 国家/地区:NL · 类型:journal · 创刊:1983 · 官网:http://www.springer.com/computer/theoretical+computer+scienc...

研究主题:Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Formal Methods in Verification · Semantic Web and Ontologies · Advanced Algebra and Logic

数据覆盖:11 个公开学术数据源交叉核验(ccf、crossref、fqb、jcr、openalex、scimago、submission、wikidata、xr、cwts、jufo)。

数据来源与实体核验

期刊官网 · OpenAlex 期刊实体 · Wikidata 期刊实体

核心指标

  • 影响因子(JCR 2025):0.700
  • JCR 分区:Q4(COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE)
  • 中科院分区(2025):计算机科学 3区,大类排名 170/758;小类:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 3区,排名 56/196
  • 新锐分区(2026):计算机科学 2区
  • SJR:0.313(Q3),2025 年,Netherlands
  • CCF:B类 类(人工智能),推荐国际学术刊物,2026 年
  • CWTS 2025:SNIP 0.892 · IPP 1.052 · 自引率 5.9%
  • JUFO 出版渠道等级:芬兰 2 · 挪威 1 · 丹麦 2
  • h-index:92
  • i10 指数:689
  • 近两年篇均被引:1.08
  • 载文量 1434 · 总被引 37422
  • Crossref DOI 总量:1415,近期 69

逐年趋势

  • 近年影响因子:2021 1.15 → 2022 1.1 → 2023 0.9 → 2024 0.8 → 2025 0.7
  • 近年 SJR:2021 0.93(Q2) → 2022 0.77(Q2) → 2023 0.873(Q2) → 2024 0.616(Q2) → 2025 0.313(Q3)

投稿参考

  • 版面费(APC)约 $3190 USD(以期刊官网为准)
  • 提供 LaTeX 投稿模板(sn-jnl.cls)

同学科期刊推荐

常见问题

《Journal of Automated Reasoning》的影响因子是多少?

根据 JCR 2025 年数据,《Journal of Automated Reasoning》的最新影响因子(IF)为 0.700。

《Journal of Automated Reasoning》是几区期刊?

《Journal of Automated Reasoning》中科院分区(2025年版)为计算机科学3区,JCR 分区为 Q4。

《Journal of Automated Reasoning》是 CCF 几类期刊?

《Journal of Automated Reasoning》是 CCF 推荐列表中的 B类 类(人工智能)。

《Journal of Automated Reasoning》的版面费(APC)是多少?

根据 OpenAlex 收录的价目,《Journal of Automated Reasoning》的文章处理费(APC)约为 $3190 美元。实际费用与豁免政策请以期刊官网为准。