欧洲成人午夜精品无码区久久_久久精品无码专区免费青青_av无码电影一区二区三区_各种少妇正面着bbw撒尿视频_中文精品久久久久国产网址

首頁 > JCRQ4 > 期刊介紹
Journal Of Automated Reasoning 加入收藏

自動推理雜志 SCIE

Journal Of Automated Reasoning

12周,或約稿 審稿時間

3區(qū)中科院分區(qū)

Q4JCR分區(qū)

0.9影響因子

0168-7433

1573-0670

J AUTOM REASONING

NETHERLANDS

工程技術(shù) - 計(jì)算機(jī):人工智能

1985

49

Bimonthly

English

38

0.09...

投稿咨詢 加急服務(wù)

期刊簡介

自動推理雜志(Journal Of Automated Reasoning)是一本由Springer Netherlands出版的一本工程技術(shù)-計(jì)算機(jī):人工智能學(xué)術(shù)刊物,主要報道工程技術(shù)-計(jì)算機(jī):人工智能相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊,該刊創(chuàng)刊于1985年,出版周期Bimonthly。2021-2022年最新版WOS分區(qū)等級:Q4,2023年發(fā)布的影響因子為0.9,CiteScore指數(shù)3.6,SJR指數(shù)0.873。本刊非開放獲取期刊。

《自動推理雜志》是一本跨學(xué)科雜志,在理論、實(shí)施和應(yīng)用之間保持平衡。出版的材料范圍從介紹新的推理規(guī)則及其邏輯屬性的證明到詳細(xì)說明用于解決工業(yè)中各種問題的計(jì)算機(jī)程序。主要涵蓋的領(lǐng)域包括自動定理證明、邏輯編程、專家系統(tǒng)、程序合成和驗(yàn)證、人工智能、計(jì)算邏輯、機(jī)器人技術(shù)和各種工業(yè)應(yīng)用。這些論文的共同特點(diǎn)是重點(diǎn)關(guān)注自動推理的幾個方面,該領(lǐng)域的目標(biāo)是設(shè)計(jì)和實(shí)施一種計(jì)算機(jī)程序,作為解決問題和回答需要推理的問題的助手。

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

中科院分區(qū)信息

自動推理雜志2023年12月升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 3區(qū) COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī):人工智能 3區(qū)
自動推理雜志2022年12月升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 2區(qū) COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī):人工智能 3區(qū)
自動推理雜志2021年12月舊的升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 2區(qū) COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī):人工智能 3區(qū)
自動推理雜志2021年12月基礎(chǔ)版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
工程技術(shù) 4區(qū) COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī):人工智能 4區(qū)
自動推理雜志2021年12月升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 2區(qū) COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī):人工智能 3區(qū)
自動推理雜志2020年12月舊的升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 2區(qū) COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī):人工智能 3區(qū)
名詞解釋:

中科院JCR期刊分區(qū)(又稱分區(qū)表、分區(qū)數(shù)據(jù))是中國科學(xué)院文獻(xiàn)情報中心世界科學(xué)前沿分析中心的科學(xué)研究成果。在中科院期刊分區(qū)表中,主要參考3年平均IF作為學(xué)術(shù)影響力,最終每個分區(qū)的期刊累積學(xué)術(shù)影響力是相同的,各區(qū)的期刊數(shù)量由高到底呈金字塔式分布。

JCR分區(qū)信息

Journal Of Automated Reasoning(2023-2024年最新版數(shù)據(jù))
按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%
名詞解釋:

湯森路透每年出版一本《期刊引用報告》(Journal Citation Reports,簡稱JCR)。JCR對86000多種SCI期刊的影響因子(Impact Factor)等指數(shù)加以統(tǒng)計(jì)。JCR將收錄期刊分為176個不同學(xué)科類別在JCR的Journal Ranking中,主要參考當(dāng)年IF,最終每個分區(qū)的期刊數(shù)量是均分的。

期刊數(shù)據(jù)統(tǒng)計(jì)

1、Cite Score(2024年最新版)
學(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ù)量總和。

2、綜合數(shù)據(jù)
3、本刊綜合數(shù)據(jù)對比及走勢

文章引用數(shù)據(jù)

文章名稱 引用次數(shù)
  • The Role of the Mizar Mathematical Libra...

    13
  • Compositional Falsification of Cyber-Phy...

    6
  • Synthesis of Obfuscation Policies to Ens...

    5
  • Hammer for Coq: Automation for Dependent...

    4
  • Automatic Synthesis of Logical Models fo...

    3
  • VST-Floyd: A Separation Logic Tool to Ve...

    3
  • System-Level Non-interference of Constan...

    3
  • Verified iptables Firewall Analysis and ...

    2
  • Formalization of the Resolution Calculus...

    2
  • Verifying the Correctness and Amortized ...

    2

期刊被引用數(shù)據(jù)

期刊名稱 引用次數(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

期刊引用數(shù)據(jù)

期刊名稱 引用次數(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

國家/地區(qū)發(fā)文數(shù)據(jù)

國家/地區(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

機(jī)構(gòu)發(fā)文數(shù)據(jù)

機(jī)構(gòu)名 數(shù)量
  • CENTRE NATIONAL DE LA RECHERCHE SCIENTIF...

    25
  • INRIA

    18
  • TECHNICAL UNIVERSITY OF MUNICH

    14
  • COMMONWEALTH SCIENTIFIC & INDUSTRIAL RES...

    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

相關(guān)期刊

常見問題

SCI期刊導(dǎo)航

免責(zé)聲明

若用戶需要出版服務(wù),請聯(lián)系出版商:SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。