Journal Of Automated Reasoning
  • 数据库收录SCIE
  • 创刊年份1985年
  • 年发文量38
  • H-index49

Journal Of Automated Reasoning

期刊中文名:自动推理杂志ISSN:0168-7433E-ISSN:1573-0670

该杂志国际简称:J AUTOM REASONING,是由出版商Springer Netherlands出版的一本致力于发布计算机科学研究新成果的的专业学术期刊。该杂志以COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE研究为重点,主要发表刊登有创见的学术论文文章、行业最新科研成果,扼要报道阶段性研究成果和重要研究工作的最新进展,选载对学科发展起指导作用的综述与专论,促进学术发展,为广大读者服务。该刊是一本国际优秀杂志,在国际上有很高的学术影响力。

基本信息:
期刊简称:J AUTOM REASONING
是否OA:未开放
是否预警:
Gold OA文章占比:53.41%
出版信息:
出版地区:NETHERLANDS
出版周期:Bimonthly
出版语言:English
出版商:Springer Netherlands
评价信息:
中科院分区:3区
JCR分区:Q4
影响因子:0.9
CiteScore:3.6
杂志介绍 中科院JCR分区 JCR分区 CiteScore 投稿经验

杂志介绍

Journal Of Automated Reasoning杂志介绍

《Journal Of Automated Reasoning》是一本以English为主的未开放获取国际优秀期刊,中文名称自动推理杂志,本刊主要出版、报道计算机科学-COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE领域的研究动态以及在该领域取得的各方面的经验和科研成果,介绍该领域有关本专业的最新进展,探讨行业发展的思路和方法,以促进学术信息交流,提高行业发展。该刊已被国际权威数据库SCIE收录,为该领域相关学科的发展起到了良好的推动作用,也得到了本专业人员的广泛认可。该刊最新影响因子为0.9,最新CiteScore 指数为3.6。

本刊近期中国学者发表的论文主要有:

  • Formalization of Geometric Algebra in HOL Light

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

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

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

  • Array Theory of Bounded Elements and its Applications

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

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

    Author: Jie Zhou, Dingkang Wang, Yao Sun

英文介绍

Journal Of Automated Reasoning杂志英文介绍

The Journal of Automated Reasoning is an interdisciplinary journal that maintains a balance between theory, implementation and application. The spectrum of material published ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. The main fields covered are automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The papers share the common feature of focusing on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.

The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

中科院SCI分区

Journal Of Automated Reasoning杂志中科院分区信息

2023年12月升级版
综述:
TOP期刊:
大类:计算机科学 3区
小类:

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
计算机:人工智能 3区

2022年12月升级版
综述:
TOP期刊:
大类:计算机科学 2区
小类:

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
计算机:人工智能 3区

2021年12月旧的升级版
综述:
TOP期刊:
大类:计算机科学 2区
小类:

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
计算机:人工智能 3区

2021年12月基础版
综述:
TOP期刊:
大类:工程技术 4区
小类:

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
计算机:人工智能 4区

2021年12月升级版
综述:
TOP期刊:
大类:计算机科学 2区
小类:

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
计算机:人工智能 3区

2020年12月旧的升级版
综述:
TOP期刊:
大类:计算机科学 2区
小类:

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
计算机:人工智能 3区

中科院SCI分区:是中国科学院文献情报中心科学计量中心的科学研究成果。期刊分区表自2004年开始发布,延续至今;2019年推出升级版,实现基础版、升级版并存过渡,2022年只发布升级版,期刊分区表数据每年底发布。 中科院分区为4个区。中科院分区采用刊物前3年影响因子平均值进行分区,即前5%为该类1区,6%~20%为2区、21%~50%为3区,其余的为4区。1区和2区杂志很少,杂志质量相对也高,基本都是本领域的顶级期刊。

JCR分区(2023-2024年最新版)

Journal Of Automated Reasoning杂志 JCR分区信息

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

12.4%

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

14.39%

JCR分区:JCR分区来自科睿唯安公司,JCR是一个独特的多学科期刊评价工具,为唯一提供基于引文数据的统计信息的期刊评价资源。每年发布的JCR分区,设置了254个具体学科。JCR分区根据每个学科分类按照期刊当年的影响因子高低将期刊平均分为4个区,分别为Q1、Q2、Q3和Q4,各占25%。JCR分区中期刊的数量是均匀分为四个部分的。

CiteScore 评价数据(2024年最新版)

Journal Of Automated Reasoning杂志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%

历年影响因子和期刊自引率

投稿经验

Journal Of Automated Reasoning杂志投稿经验

该杂志是一本国际优秀杂志,在国际上有较高的学术影响力,行业关注度很高,已被国际权威数据库SCIE收录,该杂志在COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE综合专业领域专业度认可很高,对稿件内容的创新性和学术性要求很高,作为一本国际优秀杂志,一般投稿过审时间都较长,投稿过审时间平均 12周,或约稿 ,如果想投稿该刊要做好时间安排。版面费不祥。该杂志近两年未被列入预警名单,建议您投稿。如您想了解更多投稿政策及投稿方案,请咨询客服。

免责声明

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