Journal Of Automated Reasoning SCIE

国际简称：J AUTOM REASONING 参考译名：自动推理杂志

主要研究方向：工程技术-计算机：人工智能非预警期刊审稿周期： 12周，或约稿

《自动推理杂志》(Journal Of Automated Reasoning)是一本由Springer Netherlands出版的以工程技术-计算机：人工智能为研究特色的国际期刊，发表该领域相关的原创研究文章、评论文章和综述文章，及时报道该领域相关理论、实践和应用学科的最新发现，旨在促进该学科领域科学信息的快速交流。该期刊是一本未开放期刊，近三年没有被列入预警名单。

3区中科院分区
Q4 JCR分区
38 年发文量
0.9 IF影响因子
未开放 是否OA
49 H-index
1985 创刊年份
Bimonthly 出版周期
English 出版语言

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.

[ 查看全部 ]

投稿咨询加急咨询

Journal Of Automated Reasoning期刊信息

ISSN：0168-7433
出版语言：English
是否OA：未开放
E-ISSN：1573-0670
出版地区：NETHERLANDS
是否预警：否
出版商：Springer Netherlands
出版周期：Bimonthly
创刊时间：1985
开源占比：0.4262
Gold OA文章占比：53.41%
OA被引用占比：0.3186...
出版国人文章占比：0.02
出版撤稿占比：0
研究类文章占比：100.00%

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

名词解释：CiteScore 是衡量期刊所发表文献的平均受引用次数，是在 Scopus 中衡量期刊影响力的另一个指标。当年CiteScore 的计算依据是期刊最近4年（含计算年度）的被引次数除以该期刊近四年发表的文献数。例如，2022年的 CiteScore 计算方法为：2022年的 CiteScore =2019-2022年收到的对2019-2022年发表的文件的引用数量÷2019-2022年发布的文献数量注：文献类型包括：文章、评论、会议论文、书籍章节和数据论文。

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区

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

Journal Of Automated Reasoning历年数据统计

影响因子

中科院分区

Journal Of Automated Reasoning中国学者发文选摘

1、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
2、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
3、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
4、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
5、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