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