收藏該雜志
同大類學(xué)科其它級(jí)別期刊：
中科院 1區(qū) 期刊 JCR Q1 期刊 中科院 2區(qū) 期刊 JCR Q2 期刊 中科院 3區(qū) 期刊 JCR Q3 期刊 中科院 4區(qū) 期刊 JCR Q4 期刊Journal Of Automated Reasoning SCIE
國(guó)際簡(jiǎn)稱：J AUTOM REASONING 參考譯名：自動(dòng)推理雜志
主要研究方向：工程技術(shù)-計(jì)算機(jī)：人工智能 非預(yù)警期刊 審稿周期： 12周，或約稿
《自動(dòng)推理雜志》(Journal Of Automated Reasoning)是一本由Springer Netherlands出版的以工程技術(shù)-計(jì)算機(jī)：人工智能為研究特色的國(guó)際期刊，發(fā)表該領(lǐng)域相關(guān)的原創(chuàng)研究文章、評(píng)論文章和綜述文章，及時(shí)報(bào)道該領(lǐng)域相關(guān)理論、實(shí)踐和應(yīng)用學(xué)科的最新發(fā)現(xiàn)，旨在促進(jìn)該學(xué)科領(lǐng)域科學(xué)信息的快速交流。該期刊是一本未開放期刊，近三年沒(méi)有被列入預(yù)警名單。
- 3區(qū) 中科院分區(qū)
- Q4 JCR分區(qū)
- 38 年發(fā)文量
- 0.9 IF影響因子
- 未開放 是否OA
- 49 H-index
- 1985 創(chuàng)刊年份
- Bimonthly 出版周期
- English 出版語(yǔ)言
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
- 出版語(yǔ)言：English
- 是否OA：未開放
- E-ISSN：1573-0670
- 出版地區(qū)：NETHERLANDS
- 是否預(yù)警：否
- 出版商：Springer Netherlands
- 出版周期：Bimonthly
- 創(chuàng)刊時(shí)間：1985
- 開源占比：0.4262
- Gold OA文章占比：53.41%
- OA被引用占比：0.3186...
- 出版國(guó)人文章占比：0.02
- 出版撤稿占比：0
- 研究類文章占比：100.00%
Journal Of Automated Reasoning CiteScore評(píng)價(jià)數(shù)據(jù)（2024年最新版）
| CiteScore | SJR | SNIP | CiteScore 指數(shù) | ||||||||||||||||
| 3.6 | 0.873 | 1.612 |
|
名詞解釋：CiteScore 是衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù)，是在 Scopus 中衡量期刊影響力的另一個(gè)指標(biāo)。當(dāng)年CiteScore 的計(jì)算依據(jù)是期刊最近4年（含計(jì)算年度）的被引次數(shù)除以該期刊近四年發(fā)表的文獻(xiàn)數(shù)。例如，2022年的 CiteScore 計(jì)算方法為：2022年的 CiteScore =2019-2022年收到的對(duì)2019-2022年發(fā)表的文件的引用數(shù)量÷2019-2022年發(fā)布的文獻(xiàn)數(shù)量 注：文獻(xiàn)類型包括：文章、評(píng)論、會(huì)議論文、書籍章節(jié)和數(shù)據(jù)論文。
Journal Of Automated Reasoning中科院評(píng)價(jià)數(shù)據(jù)
中科院 2023年12月升級(jí)版
| Top期刊 | 綜述期刊 | 大類學(xué)科 | 小類學(xué)科 | ||
| 否 | 否 | 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) |
中科院 2022年12月升級(jí)版
| Top期刊 | 綜述期刊 | 大類學(xué)科 | 小類學(xué)科 | ||
| 否 | 否 | 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) |
中科院 2021年12月舊的升級(jí)版
| Top期刊 | 綜述期刊 | 大類學(xué)科 | 小類學(xué)科 | ||
| 否 | 否 | 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) |
中科院 2021年12月基礎(chǔ)版
| Top期刊 | 綜述期刊 | 大類學(xué)科 | 小類學(xué)科 | ||
| 否 | 否 | 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 4區(qū) |
中科院 2021年12月升級(jí)版
| Top期刊 | 綜述期刊 | 大類學(xué)科 | 小類學(xué)科 | ||
| 否 | 否 | 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) |
中科院 2020年12月舊的升級(jí)版
| Top期刊 | 綜述期刊 | 大類學(xué)科 | 小類學(xué)科 | ||
| 否 | 否 | 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) |
Journal Of Automated Reasoning JCR評(píng)價(jià)數(shù)據(jù)（2023-2024年最新版）
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 173 / 197 |
12.4% |
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 170 / 198 |
14.39% |
Journal Of Automated Reasoning歷年數(shù)據(jù)統(tǒng)計(jì)
影響因子
中科院分區(qū)
Journal Of Automated Reasoning中國(guó)學(xué)者發(fā)文選摘
-
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
Journal Of Automated Reasoning同類期刊
-
人工智能的工程應(yīng)用
Engineering Applications Of Artificial Intelligence
中科院 2區(qū) JCR Q1
-
智能與模糊系統(tǒng)雜志
Journal Of Intelligent & Fuzzy Systems
中科院 4區(qū) JCR Q3
-
大數(shù)據(jù)雜志
Journal Of Big Data
中科院 2區(qū) JCR Q1
-
網(wǎng)絡(luò)安全
Cybersecurity
中科院 4區(qū) JCR Q1
-
信息技術(shù)與控制
Information Technology And Control
中科院 4區(qū) JCR Q3
-
神經(jīng)計(jì)算
Neurocomputing
中科院 2區(qū) JCR Q1
-
物聯(lián)網(wǎng)
Internet Of Things
中科院 3區(qū) JCR Q1
-
大數(shù)據(jù)挖掘與分析
Big Data Mining And Analytics
中科院 1區(qū) JCR Q1
免責(zé)聲明
若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。