在线咨询
期刊 科普 SCI

教育 医学 经济 金融 管理 科技 工业 机械 农业 电力 水利 文学 艺术 更多...

首页 SCI期刊 计算机科学 Journal Of Automated Reasoning杂志介绍(非官网)
Journal Of Automated Reasoning
  • 中科院分区：3区
  • JCR分区：Q4
  • CiteScore ：3.6

Journal Of Automated ReasoningSCIE

国际简称：J AUTOM REASONING 中文名称：自动推理杂志

Journal Of Automated Reasoning杂志是一本工程技术-计算机：人工智能应用杂志。是一本国际优秀学术杂志，由Springer Netherlands出版，该期刊创刊于1985年，出版周期为Bimonthly，始终保持着高质量和高水平的学术内容。在中科院分区表2023年12月升级版中，被归类为大类学科分区3区，显示出其优秀的学术水平和影响力。

  • ISSN：0168-7433

  • 出版地区：NETHERLANDS

  • 出版周期：Bimonthly

  • E-ISSN：1573-0670

  • 创刊时间：1985

  • 出版语言：English

  • 是否OA：未开放

  • 预计审稿时间： 12周，或约稿

  • 影响因子：0.9

  • 是否预警：否

  • 研究方向：工程技术,计算机：人工智能

  • 年发文量：38

  • 研究类文章占比：100.00%

  • Gold OA文章占比：53.41%

  • H-index：49

  • 出版国人文章占比：0.02

  • 开源占比：0.4262

  • 文章自引率：0.0909...

投稿咨询 加急咨询
杂志简介 期刊指数 中科院分区表 JCR 分区 CiteScore 分区 文章摘录 相关杂志

杂志简介

《自动推理杂志》是一本跨学科杂志，在理论、实施和应用之间保持平衡。出版的材料范围从介绍新的推理规则及其逻辑属性的证明到详细说明用于解决工业中各种问题的计算机程序。主要涵盖的领域包括自动定理证明、逻辑编程、专家系统、程序合成和验证、人工智能、计算逻辑、机器人技术和各种工业应用。这些论文的共同特点是重点关注自动推理的几个方面，该领域的目标是设计和实施一种计算机程序，作为解决问题和回答需要推理的问题的助手。

《自动推理杂志》为那些纯粹对理论感兴趣的人、主要对实施感兴趣的人以及对特定研究和工业应用感兴趣的人提供了一个论坛和信息交流方式。

值得一提的是，Journal Of Automated Reasoning已成功入选 SCIE（科学引文索引扩展板） 等国际知名数据库，这进一步彰显了其作为国际优秀期刊的卓越地位和广泛影响力。自创刊以来，该杂志一直保持着Bimonthly的出版周期，以高质量、高水平的学术内容著称。在JCR（Journal Citation Reports）分区等级中，该期刊荣获Q4评级。此外，其CiteScore指数达到3.6，该期刊2023年的影响因子达到0.9，再次验证了其优秀学术水平。

Journal Of Automated Reasoning是一本未开放获取期刊，但其高质量的学术内容和广泛的影响力使其成为了计算机科学-COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE研究领域不可或缺的重要刊物。无论是对于学者、研究人员还是学术界来说，该期刊都是一份不可或缺的重要资源。

期刊指数

中科院SCI分区
CiteScore指数
自引率
发文量
影响因子

中科院SCI分区是中国科学院对SCI期刊进行的一种分类和评级。在学术界，中科院SCI分区被广泛应用于科研业绩奖励、职称评审等方面。许多高校和科研单位会按照中科院SCI分区的标准来加权计算科研成果的影响力。因此，对于科研工作者来说，了解中科院SCI分区的标准和方法，以及具体的分区结果，对于评估自己的科研成果和选择合适的期刊发表论文都非常重要。

CiteScore（或称为引用指数）是由全球著名学术出版商Elsevier于2016年12月基于Scopus数据源推出的期刊评价指标。CiteScore指数能够反映期刊在较长时间内的平均影响力。通过计算期刊过去四年内发表的文章被引用的次数，这使得该指标能够更准确地评估期刊的影响力和学术价值。

自引率的计算公式为：自引率 = （期刊自己发表的文章被自己引用的次数） / （期刊自己发表的文章总数）。其中，期刊自己发表的文章指的是该期刊所发表的所有论文，包括文章、综述、简报、通讯等各类论文。如果自引率过高，可能会影响到该期刊的学术声誉和权威性。

中科院分区表

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

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

JCR 分区（2023-2024年最新版）

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

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

14.39%

CiteScore 分区（2024年最新版）

CiteScore SJR SNIP CiteScore 排名
3.6 0.873 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

相关杂志

免责声明

若用户需要出版服务，请联系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。