《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

出版語(yǔ)言：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í)踐。本刊已入選來(lái)源期刊，該刊創(chuàng)刊于1985年，出版周期Bimonthly。

《自動(dòng)推理雜志》發(fā)表專家撰寫(xiě)的簡(jiǎn)短易懂的評(píng)論，重點(diǎn)介紹計(jì)算機(jī)：人工智能的最新關(guān)鍵主題。每篇文章都是對(duì)該主題的最新、完整的總結(jié)，方便尚未深入研究的人閱讀。

《自動(dòng)推理雜志》是一本跨學(xué)科雜志，在理論、實(shí)施和應(yīng)用之間保持平衡。出版的材料范圍從介紹新的推理規(guī)則及其邏輯屬性的證明到詳細(xì)說(shuō)明用于解決工業(yè)中各種問(wèn)題的計(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ī)程序，作為解決問(wèn)題和回答需要推理的問(wèn)題的助手。

《自動(dòng)推理雜志》為那些純粹對(duì)理論感興趣的人、主要對(duì)實(shí)施感興趣的人以及對(duì)特定研究和工業(yè)應(yīng)用感興趣的人提供了一個(gè)論壇和信息交流方式。

出版周期與發(fā)文量：

該雜志出版周期Bimonthly。近年來(lái)，該期刊的年發(fā)文量約為38篇。

學(xué)術(shù)影響力：

2021-2022年最新版WOS分區(qū)等級(jí)：Q4，2023年發(fā)布的影響因子為0.9，CiteScore指數(shù)3.6，SJR指數(shù)0.873。本刊非開(kāi)放獲取期刊。

聲明：本信息依據(jù)互聯(lián)網(wǎng)公開(kāi)資料整理，若存在錯(cuò)誤，請(qǐng)及時(shí)聯(lián)系我們及時(shí)更正。