SCIE
學(xué)科領(lǐng)域
計(jì)算機(jī)科學(xué)中科院分區(qū)
3區(qū)JCR分區(qū)
Q4IF影響因子
0.9是否預(yù)警
否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.
《自動(dòng)推理雜志》是一本跨學(xué)科雜志，在理論、實(shí)施和應(yīng)用之間保持平衡。出版的材料范圍從介紹新的推理規(guī)則及其邏輯屬性的證明到詳細(xì)說(shuō)明用于解決工業(yè)中各種問(wèn)題的計(jì)算機(jī)程序。主要涵蓋的領(lǐng)域包括自動(dòng)定理證明、邏輯編程、專(zhuān)家系統(tǒng)、程序合成和驗(yàn)證、人工智能、計(jì)算邏輯、機(jī)器人技術(shù)和各種工業(yè)應(yīng)用。這些論文的共同特點(diǎn)是重點(diǎn)關(guān)注自動(dòng)推理的幾個(gè)方面，該領(lǐng)域的目標(biāo)是設(shè)計(jì)和實(shí)施一種計(jì)算機(jī)程序，作為解決問(wèn)題和回答需要推理的問(wèn)題的助手。
《自動(dòng)推理雜志》為那些純粹對(duì)理論感興趣的人、主要對(duì)實(shí)施感興趣的人以及對(duì)特定研究和工業(yè)應(yīng)用感興趣的人提供了一個(gè)論壇和信息交流方式。
Journal Of Automated Reasoning創(chuàng)刊于1985年，由Springer Netherlands出版商出版，收稿方向涵蓋工程技術(shù) - 計(jì)算機(jī)：人工智能全領(lǐng)域，此刊是中等級(jí)別的SCI期刊，所以過(guò)審相對(duì)來(lái)講不是特別難，但是該刊專(zhuān)業(yè)認(rèn)可度不錯(cuò)，仍然是一本值得選擇的SCI期刊 。平均審稿速度 12周，或約稿 ，影響因子指數(shù)0.9，該期刊近期沒(méi)有被列入國(guó)際期刊預(yù)警名單，廣大學(xué)者值得一試。
| 大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) | 否 | 否 |
名詞解釋?zhuān)?br />中科院分區(qū)也叫中科院JCR分區(qū)，基礎(chǔ)版分為13個(gè)大類(lèi)學(xué)科，然后按照各類(lèi)期刊影響因子分別將每個(gè)類(lèi)別分為四個(gè)區(qū)，影響因子5%為1區(qū)，6%-20%為2區(qū)，21%-50%為3區(qū)，其余為4區(qū)。
| 大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) | 否 | 否 |
| 大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) | 否 | 否 |
| 大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 4區(qū) | 否 | 否 |
| 大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) | 否 | 否 |
| 大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī)：人工智能 | 3區(qū) | 否 | 否 |
| 按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% |
名詞解釋?zhuān)?br />WOS即Web of Science，是全球獲取學(xué)術(shù)信息的重要數(shù)據(jù)庫(kù)，Web of Science包括自然科學(xué)、社會(huì)科學(xué)、藝術(shù)與人文領(lǐng)域的信息，來(lái)自全世界近9,000種最負(fù)盛名的高影響力研究期刊及12,000多種學(xué)術(shù)會(huì)議多學(xué)科內(nèi)容。給期刊分區(qū)時(shí)會(huì)按照某一個(gè)學(xué)科領(lǐng)域劃分，根據(jù)這一學(xué)科所有按照影響因子數(shù)值降序排名，然后平均分成4等份，期刊影響因子值高的就會(huì)在高分區(qū)中，最后的劃分結(jié)果分別是Q1，Q2，Q3，Q4，Q1代表質(zhì)量最高。
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||||||
| 3.6 | 0.873 | 1.612 |
|
名詞解釋?zhuān)?br />CiteScore：衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù)。
SJR:SCImago 期刊等級(jí)衡量經(jīng)過(guò)加權(quán)后的期刊受引用次數(shù)。引用次數(shù)的加權(quán)值由施引期刊的學(xué)科領(lǐng)域和聲望 (SJR) 決定。
SNIP:每篇文章中來(lái)源出版物的標(biāo)準(zhǔn)化影響將實(shí)際受引用情況對(duì)照期刊所屬學(xué)科領(lǐng)域中預(yù)期的受引用情況進(jìn)行衡量。
| 是否OA開(kāi)放訪(fǎng)問(wèn)： | h-index： | 年文章數(shù)： |
| 未開(kāi)放 | 49 | 38 |
| Gold OA文章占比： | 2021-2022最新影響因子（數(shù)據(jù)來(lái)源于搜索引擎）: | 開(kāi)源占比（OA被引用占比）： |
| 53.41% | 0.9 | 0.42... |
| 研究類(lèi)文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國(guó)際期刊預(yù)警名單（試行）》名單： |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標(biāo)和發(fā)文量：
歷年中科院JCR大類(lèi)分區(qū)數(shù)據(jù)：
歷年自引數(shù)據(jù)：
2023-2024國(guó)家/地區(qū)發(fā)文量統(tǒng)計(jì)：
| 國(guó)家/地區(qū) | 數(shù)量 |
| 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機(jī)構(gòu)發(fā)文量統(tǒng)計(jì)：
| 機(jī)構(gòu) | 數(shù)量 |
| 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 |
近年引用統(tǒng)計(jì)：
| 期刊名稱(chēng) | 數(shù)量 |
| 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 |
近年被引用統(tǒng)計(jì)：
| 期刊名稱(chēng) | 數(shù)量 |
| 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 |
近年文章引用統(tǒng)計(jì)：
| 文章名稱(chēng) | 數(shù)量 |
| 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 |
| 同小類(lèi)學(xué)科的其他優(yōu)質(zhì)期刊 | 影響因子 | 中科院分區(qū) |
| Journal Of Field Robotics | 4.2 | 2區(qū) |
| Computer Science Review | 13.3 | 1區(qū) |
| Computer Networks | 4.4 | 2區(qū) |
| Journal Of Computational Science | 3.1 | 3區(qū) |
| Ict Express | 4.1 | 3區(qū) |
| Computer Speech And Language | 3.1 | 3區(qū) |
| Applied Artificial Intelligence | 2.9 | 4區(qū) |
| Iet Software | 1.5 | 4區(qū) |
| International Journal Of Approximate Reasoning | 3.2 | 3區(qū) |
| Journal Of Bionic Engineering | 4.9 | 3區(qū) |
若用戶(hù)需要出版服務(wù)，請(qǐng)聯(lián)系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。
