Journal of Automated Reasoning

9777

微信好友朋友圈 QQ好友复制链接

查看最新文献

中科院SCI期刊分区 WOS期刊分区历年影响因子历年发表投稿信息同类期刊

期刊缩写：

J AUTOM REASONING copy

复制

反馈

影响因子：

期刊影响因子(Impact factor，IF) 即某刊平均每篇论文的被引用数，是表征期刊影响大小的一项定量指标，它实际上是某刊在某年被全部源刊物引证该刊前两年发表论文的次数，与该刊前两年所发表的全部源论文数之比。

0.8

反馈

ISSN：

ISSN是由8个数字组成的编码，旨在识别各种报纸、专业杂志、画报、期刊，无论其性质或载体版本（纸版及电子版）。

print: 0168-7433
on-line: 1573-0670

研究领域：

工程技术-计算机：人工智能

创刊年份：

1985年

h-index：

h-index是指该期刊有h篇文章至少被引用h次，是一项简单易懂的评估指标，不像平均值会受极端值影响，可呈现出多数文章的被引用表现。Google使用过去5年的h-index数据评价期刊的影响力，“h5指数”比较难以被人为操控，不会因为多了一篇超高被引论文而明显增长，另一方面，刻意减少发文量也不会对提升h5指数有作用。

自引率：

9.10%

Gold OA文章占比：

Gold OA文章占比是指一个总体中金色OA文章数量占总体文章数量的比重。OA期刊的文章主要通过金色通道（Gold road，也称为Gold OA，即期刊官网）和绿色通道（Green road，或Green OA）实现开放获取。金色通道是开放获取期刊通过自己的官网来实现的，而绿色通道是通过把文章自存档于机构知识库(Institutional Repositories，比如哈佛大学学术库DASH）或学科知识库中来实现。

53.41%

原创研究文献占比：

100.00%

SCI收录类型：

Science Citation Index Expanded (SCIE) || Scopus (CiteScore)

期刊官网：

https://www.springer.com/10817 http://www.springer.com/computer/theoretical+computer+science/journal/10817

期刊介绍英文：

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.

CiteScore：

引用分数（英语：CiteScore，CS）是一种用来反映学术期刊最近发表文章“年平均被引用次数”的衡量指标。该指标由Elsevier于 2016 年 12 月推出，以替代常用的JCR影响因子（由Clarivate计算）。 CiteScore是Scopus中系列期刊指标的一部分，包括 SNIP(源文档标准化影响)，SJR (SClmago杂志排名)，引用文档计数以及引用百分比。

CiteScore	SJR	SNIP	CiteScore排名
3.6	0.873	1.612	学科排名百分位大类：Computer Science 小类：Computational Theory and Mathematics 67 / 176 62% 大类：Computer Science 小类：Artificial Intelligence 196 / 350 44% 大类：Computer Science 小类：Software 233 / 407 42%

发文信息

中科院SCI期刊分区

中科院分区升级版是在基础版的基础上，消除了对预置学科体系的依赖，例如期刊-学科隶属关系。基于概率统计原理的期刊超越指数，使分区结果更加鲁棒，不易操纵，揭示出更多优秀的基础研究期刊。 2019-2021年，3年过渡期，会同时发布基础版和升级版，便于用户单位过渡、调整。2022年开始，将只发布升级版。

2025年3月20日发布

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

2023年12月发布

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

WOS期刊分区

WoS-JCR分区：SCIE、SSCI收录期刊主要按影响因子高低被分为四个区（Quartile），分别是Q1区，Q2区，Q3区，Q4区，各占25%。Q1区是影响因子最靠前25%的期刊，Q4区是靠后的25%的期刊。

学科分类
Q4COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE

历年影响因子

2015年	2016年	2017年	2018年	2019年	2020年	2021年	2022年	2023年	2024年
2.1130	1.6360	1.3210	1.1720	1.4310	0.9440	1.1500	1.1000	0.9000	0.8000

历年发表

年文章数是指每年6月SCI发布的IF数据中所提供的上一年全年发文数量。如2018年7月-2019年6月，显示的是2017年的发文数.对极少数热门期刊，我们会在1月份更新为最新一年的发文数。

2012年	2013年	2014年	2015年	2016年	2017年	2018年	2019年	2020年	2021年	2022年
29	28	22	36	46	47	60	36	46	30	31

投稿信息

出版周期：

Bimonthly

出版语言：

English

出版国家(地区)：

NETHERLANDS

初审时长：

5 days

审稿时长：

>12 weeks

投稿网址：

https://submission.nature.com/new-submission/10817/3

出版商：

Springer Netherlands

编辑部地址：

SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ

PubMed链接：

http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0168-7433%5BISSN%5D