期刊簡介
Journal Title：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.
中文簡介
《自動推理雜志》是一本跨學科雜志，在理論、實施和應用之間保持平衡。出版的材料范圍從介紹新的推理規則及其邏輯屬性的證明到詳細說明用于解決工業中各種問題的計算機程序。主要涵蓋的領域包括自動定理證明、邏輯編程、專家系統、程序合成和驗證、人工智能、計算邏輯、機器人技術和各種工業應用。這些論文的共同特點是重點關注自動推理的幾個方面，該領域的目標是設計和實施一種計算機程序，作為解決問題和回答需要推理的問題的助手。
《自動推理雜志》為那些純粹對理論感興趣的人、主要對實施感興趣的人以及對特定研究和工業應用感興趣的人提供了一個論壇和信息交流方式。
期刊點評
Journal Of Automated Reasoning創刊于1985年，由Springer Netherlands出版商出版，收稿方向涵蓋工程技術 - 計算機：人工智能全領域，此刊是中等級別的SCI期刊，所以過審相對來講不是特別難，但是該刊專業認可度不錯，仍然是一本值得選擇的SCI期刊 。平均審稿速度 12周，或約稿 ，影響因子指數0.9，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。
中科院分區（數據版本：2023年12月升級版）
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機：人工智能 | 3區 | 否 | 否 |
名詞解釋：
中科院分區也叫中科院JCR分區，基礎版分為13個大類學科，然后按照各類期刊影響因子分別將每個類別分為四個區，影響因子5%為1區，6%-20%為2區，21%-50%為3區，其余為4區。
中科院分區（數據版本：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區 | 否 | 否 |
WOS分區（數據版本：2023-2024年最新版）
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 173 / 197 |
12.4% |
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 170 / 198 |
14.39% |
名詞解釋：
WOS即Web of Science，是全球獲取學術信息的重要數據庫，Web of Science包括自然科學、社會科學、藝術與人文領域的信息，來自全世界近9,000種最負盛名的高影響力研究期刊及12,000多種學術會議多學科內容。給期刊分區時會按照某一個學科領域劃分，根據這一學科所有按照影響因子數值降序排名，然后平均分成4等份，期刊影響因子值高的就會在高分區中，最后的劃分結果分別是Q1，Q2，Q3，Q4，Q1代表質量最高。
CiteScore分區（數據版本：2024年最新版）
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||||||
| 3.6 | 0.873 | 1.612 |
|
名詞解釋：
CiteScore：衡量期刊所發表文獻的平均受引用次數。
SJR:SCImago 期刊等級衡量經過加權后的期刊受引用次數。引用次數的加權值由施引期刊的學科領域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標準化影響將實際受引用情況對照期刊所屬學科領域中預期的受引用情況進行衡量。
其他數據
| 是否OA開放訪問： | h-index： | 年文章數： |
| 未開放 | 49 | 38 |
| Gold OA文章占比： | 2021-2022最新影響因子（數據來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 53.41% | 0.9 | 0.42... |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預警名單（試行）》名單： |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標和發文量：
歷年中科院JCR大類分區數據：
歷年自引數據：
發文統計
2023-2024國家/地區發文量統計：
| 國家/地區 | 數量 |
| GERMANY (FED REP GER) | 40 |
| USA | 39 |
| France | 38 |
| England | 29 |
| Austria | 18 |
| Australia | 14 |
| Italy | 13 |
| Spain | 12 |
| Netherlands | 10 |
| Sweden | 7 |
2023-2024機構發文量統計：
| 機構 | 數量 |
| CENTRE NATIONAL DE LA RECHERCHE ... | 25 |
| INRIA | 18 |
| TECHNICAL UNIVERSITY OF MUNICH | 14 |
| COMMONWEALTH SCIENTIFIC & INDUST... | 10 |
| AUSTRALIAN NATIONAL UNIVERSITY | 9 |
| CARNEGIE MELLON UNIVERSITY | 9 |
| UNIVERSITY OF INNSBRUCK | 9 |
| MAX PLANCK SOCIETY | 8 |
| TECHNISCHE UNIVERSITAT WIEN | 7 |
| UNIVERSITE DE LORRAINE | 7 |
近年引用統計：
| 期刊名稱 | 數量 |
| J AUTOM REASONING | 79 |
| THEOR COMPUT SCI | 46 |
| COMMUN ACM | 26 |
| J ACM | 22 |
| INFORM COMPUT | 21 |
| MATH STRUCT COMP SCI | 21 |
| ACM T COMPUT LOG | 15 |
| LOG METH COMPUT SCI | 15 |
| J FUNCT PROGRAM | 14 |
| ACM T PROGR LANG SYS | 12 |
近年被引用統計：
| 期刊名稱 | 數量 |
| J AUTOM REASONING | 79 |
| ANN MATH ARTIF INTEL | 29 |
| J SYMB COMPUT | 14 |
| ARTIF INTELL | 13 |
| IEEE ACCESS | 12 |
| J FUNCT PROGRAM | 11 |
| ACM T COMPUT LOG | 10 |
| MATH STRUCT COMP SCI | 10 |
| LOG METH COMPUT SCI | 9 |
| PHILOS T R SOC A | 9 |
近年文章引用統計：
| 文章名稱 | 數量 |
| The Role of the Mizar Mathematic... | 13 |
| Compositional Falsification of C... | 6 |
| Synthesis of Obfuscation Policie... | 5 |
| Hammer for Coq: Automation for D... | 4 |
| Automatic Synthesis of Logical M... | 3 |
| VST-Floyd: A Separation Logic To... | 3 |
| System-Level Non-interference of... | 3 |
| Verified iptables Firewall Analy... | 2 |
| Formalization of the Resolution ... | 2 |
| Verifying the Correctness and Am... | 2 |
相關期刊
| 同小類學科的其他優質期刊 | 影響因子 | 中科院分區 |
| Journal Of Field Robotics | 4.2 | 2區 |
| Computer Networks | 4.4 | 2區 |
| Computer Science Review | 13.3 | 1區 |
| Journal Of Computational Science | 3.1 | 3區 |
| Neurocomputing | 5.5 | 2區 |
| Ict Express | 4.1 | 3區 |
| Computer Speech And Language | 3.1 | 3區 |
| Applied Artificial Intelligence | 2.9 | 4區 |
| International Journal Of Approximate Reasoning | 3.2 | 3區 |
| Digital Communications And Networks | 7.5 | 2區 |
更多問題
免責聲明
若用戶需要出版服務，請聯系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。