自動推理雜志(Journal Of Automated Reasoning)是一本由Springer Netherlands出版的一本工程技術-計算機：人工智能學術刊物，主要報道工程技術-計算機：人工智能相關領域研究成果與實踐。本刊已入選來源期刊，該刊創刊于1985年，出版周期Bimonthly。2021-2022年最新版WOS分區等級：Q4，2023年發布的影響因子為0.9，CiteScore指數3.6，SJR指數0.873。本刊非開放獲取期刊。
《自動推理雜志》是一本跨學科雜志，在理論、實施和應用之間保持平衡。出版的材料范圍從介紹新的推理規則及其邏輯屬性的證明到詳細說明用于解決工業中各種問題的計算機程序。主要涵蓋的領域包括自動定理證明、邏輯編程、專家系統、程序合成和驗證、人工智能、計算邏輯、機器人技術和各種工業應用。這些論文的共同特點是重點關注自動推理的幾個方面，該領域的目標是設計和實施一種計算機程序，作為解決問題和回答需要推理的問題的助手。
《自動推理雜志》為那些純粹對理論感興趣的人、主要對實施感興趣的人以及對特定研究和工業應用感興趣的人提供了一個論壇和信息交流方式。
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機：人工智能 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 2區 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機：人工智能 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 2區 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機：人工智能 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 工程技術 | 4區 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機：人工智能 | 4區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 2區 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機：人工智能 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 2區 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機：人工智能 | 3區 | 否 | 否 |
中科院JCR期刊分區（又稱分區表、分區數據）是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區表中，主要參考3年平均IF作為學術影響力，最終每個分區的期刊累積學術影響力是相同的，各區的期刊數量由高到底呈金字塔式分布。
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 173 / 197 |
12.4%
|
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 170 / 198 |
14.39%
|
湯森路透每年出版一本《期刊引用報告》（Journal Citation Reports，簡稱JCR）。JCR對86000多種SCI期刊的影響因子（Impact Factor）等指數加以統計。JCR將收錄期刊分為176個不同學科類別在JCR的Journal Ranking中，主要參考當年IF，最終每個分區的期刊數量是均分的。
| 學科類別 | 分區 | 排名 | 百分位 |
| 大類：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：該指標由Elsevier于2016年提出，指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數，除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。
| 文章名稱 | 引用次數 |
| 期刊名稱 | 引用次數 |
| 期刊名稱 | 引用次數 |
| 國家/地區名 | 數量 |
| 機構名 | 數量 |
中科院分區 2區 JCR分區 Q1
查看詳情
中科院分區 2區 JCR分區 Q1
查看詳情
中科院分區 3區 JCR分區 Q1
查看詳情
中科院分區 3區 JCR分區 Q2
查看詳情
中科院分區 2區 JCR分區 Q1
查看詳情
中科院分區 1區 JCR分區 Q1
查看詳情若用戶需要出版服務，請聯系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。