《Journal Of Automated Reasoning》國(guó)際標(biāo)準(zhǔn)刊號(hào)?ISSN:0168-7433,電子期刊的國(guó)際標(biāo)準(zhǔn)刊號(hào):1573-0670。
創(chuàng)刊時(shí)間:1985年
出版周期:Bimonthly
出版語言:English
國(guó)際簡(jiǎn)稱:J AUTOM REASONING
研究方向:工程技術(shù) - 計(jì)算機(jī):人工智能
期刊定位與內(nèi)容:
自動(dòng)推理雜志(Journal Of Automated Reasoning)是一本由Springer Netherlands出版的學(xué)術(shù)刊物,主要報(bào)道工程技術(shù)-計(jì)算機(jī):人工智能相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊,該刊創(chuàng)刊于1985年,出版周期Bimonthly。
《自動(dòng)推理雜志》發(fā)表專家撰寫的簡(jiǎn)短易懂的評(píng)論,重點(diǎn)介紹計(jì)算機(jī):人工智能的最新關(guān)鍵主題。每篇文章都是對(duì)該主題的最新、完整的總結(jié),方便尚未深入研究的人閱讀。
《自動(dòng)推理雜志》是一本跨學(xué)科雜志,在理論、實(shí)施和應(yīng)用之間保持平衡。出版的材料范圍從介紹新的推理規(guī)則及其邏輯屬性的證明到詳細(xì)說明用于解決工業(yè)中各種問題的計(jì)算機(jī)程序。主要涵蓋的領(lǐng)域包括自動(dòng)定理證明、邏輯編程、專家系統(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ī)程序,作為解決問題和回答需要推理的問題的助手。
《自動(dòng)推理雜志》為那些純粹對(duì)理論感興趣的人、主要對(duì)實(shí)施感興趣的人以及對(duì)特定研究和工業(yè)應(yīng)用感興趣的人提供了一個(gè)論壇和信息交流方式。
出版周期與發(fā)文量:
該雜志出版周期Bimonthly。近年來,該期刊的年發(fā)文量約為38篇。
學(xué)術(shù)影響力:
2021-2022年最新版WOS分區(qū)等級(jí):Q4,2023年發(fā)布的影響因子為0.9,CiteScore指數(shù)3.6,SJR指數(shù)0.873。本刊非開放獲取期刊。
Cite Score(2024年最新版)
- CiteScore:3.6
- SJR:0.873
- SNIP:1.612
學(xué)科類別 | 分區(qū) | 排名 | 百分位 |
大類: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:該指標(biāo)由Elsevier于2016年提出,指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計(jì)算方式是:例如,某期刊2022年CiteScore的計(jì)算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù),除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。
聲明:本信息依據(jù)互聯(lián)網(wǎng)公開資料整理,若存在錯(cuò)誤,請(qǐng)及時(shí)聯(lián)系我們及時(shí)更正。