Journal Of Automated Reasoning

Journal Of Automated Reasoning

自动推理杂志

  • 3区 中科院分区
  • Q4 JCR分区

期刊简介

《Journal Of Automated Reasoning》是由Springer Netherlands出版社于1985年创办的英文国际期刊(ISSN: 0168-7433,E-ISSN: 1573-0670),该期刊长期致力于计算机:人工智能领域的创新研究,主要研究方向为工程技术-计算机:人工智能。作为SCIE收录期刊(JCR分区 Q4,中科院 3区),本刊采用OA未开放获取模式(OA占比0.3186...%),以发表计算机:人工智能领域等方向的原创性研究为核心(研究类文章占比100.00%%)。凭借严格的同行评审与高效编辑流程,期刊年载文量精选控制在38篇,确保学术质量与前沿性。成果覆盖Web of Science、Scopus等国际权威数据库,为学者提供推动计算机科学领域高水平交流平台。

投稿咨询

投稿提示

Journal Of Automated Reasoning审稿周期约为 12周,或约稿 。该刊近年未被列入国际预警名单,年发文量约38篇,录用竞争适中,主题需确保紧密契合计算机科学前沿。投稿策略提示:避开学术会议旺季投稿以缩短周期,语言建议专业润色提升可读性。

  • 计算机科学 大类学科
  • English 出版语言
  • 是否预警
  • SCIE 期刊收录
  • 38 发文量

中科院分区

中科院 SCI 期刊分区 2023年12月升级版

Top期刊 综述期刊 大类学科 小类学科
计算机科学
3区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能
3区

中科院 SCI 期刊分区 2022年12月升级版

Top期刊 综述期刊 大类学科 小类学科
计算机科学
2区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能
3区

JCR分区

按JIF指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE SCIE Q4 173 / 197

12.4%

按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE SCIE Q4 170 / 198

14.39%

CiteScore

CiteScore SJR SNIP CiteScore 排名
CiteScore:3.6 SJR:0.873 SNIP:1.612
学科类别 分区 排名 百分位
大类:Computer Science 小类:Computational Theory and Mathematics Q2 67 / 176

62%

大类:Computer Science 小类:Artificial Intelligence Q3 196 / 350

44%

大类:Computer Science 小类:Software Q3 233 / 407

42%

期刊发文

  • Formalization of Geometric Algebra in HOL Light

    Author: Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qian-Ying Zhang, Yong-Dong Li

    Journal: JOURNAL OF AUTOMATED REASONING, 2018, Vol., , DOI:10.1007/s10817-018-9498-9

  • A Conflict-Driven Solving Procedure for Poly-Power Constraints

    Author: Cheng-Chao Huang, Ming Xu, Zhi-Bin Li

    Journal: JOURNAL OF AUTOMATED REASONING, 2018, Vol., , DOI:10.1007/s10817-018-09501-z

  • Array Theory of Bounded Elements and its Applications

    Author: Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

    Journal: JOURNAL OF AUTOMATED REASONING, 2013, Vol.52, 379-405, DOI:10.1007/s10817-013-9293-6

  • Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method

    Author: Jie Zhou, Dingkang Wang, Yao Sun

    Journal: JOURNAL OF AUTOMATED REASONING, 2016, Vol.59, 331-344, DOI:10.1007/s10817-016-9395-z

  • Toward Compositional Verification of Interruptible OS Kernels and Device Drivers

    Author: Hao Chen, Xiongnan Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu

    Journal: JOURNAL OF AUTOMATED REASONING, 2017, Vol.61, 141-189, DOI:10.1007/s10817-017-9446-0