首页 > SCI > 计算机科学 > Journal Of Automated Reasoning

发表咨询:400-888-9411 订阅咨询:400-888-1571

Journal Of Automated Reasoning

自动推理杂志 SCI SCIE

Journal Of Automated Reasoning

>12周,或约稿审稿时间

2区中科院分区

Q4JCR分区

1.431影响因子

0168-7433

1573-0670

J AUTOM REASONING

NETHERLANDS

工程技术 - 计算机:人工智能

1985

49

Bimonthly

English

72

--

投稿咨询 加急服务

期刊简介

自动推理杂志(Journal Of Automated Reasoning)是一本由SPRINGER出版的一本工程技术-计算机:人工智能学术刊物,主要报道工程技术-计算机:人工智能相关领域研究成果与实践。本刊已入选科学引文索引(SCI)、来源期刊,属于国际一流期刊。该刊创刊于1985年,出版周期Bimonthly。2021-2022年最新版WOS分区等级:Q4,2022年的影响因子为1.1,CiteScore指数4.10,SJR指数0.770。本刊非开放获取期刊。

The Journal of Automated Reasoning 是一本跨学科期刊,在理论、实施和应用之间保持平衡。所发表的材料范围从提出新的推理规则及其逻辑属性的证明到对旨在解决工业中各种问题的计算机程序的详细说明。涵盖的主要领域是自动定理证明、逻辑编程、专家系统、程序合成和验证、人工智能、计算逻辑、机器人技术和各种工业应用。这些论文的共同特点是侧重于自动推理的几个方面,该领域的目标是设计和实现计算机程序,作为解决问题和回答需要推理的问题的助手。

《自动推理杂志》为纯粹对理论感兴趣的人、主要对实施感兴趣的人以及对特定研究和工业应用感兴趣的人提供了一个论坛和一种交流信息的方式。

中科院分区信息

自动推理杂志2022年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 2区 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 3区
自动推理杂志2021年12月基础版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 4区
自动推理杂志2021年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 2区 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 3区
自动推理杂志2020年12月旧的升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 2区 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 3区
名词解释:

中科院JCR期刊分区(又称分区表、分区数据)是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中,主要参考3年平均IF作为学术影响力,最终每个分区的期刊累积学术影响力是相同的,各区的期刊数量由高到底呈金字塔式分布。

JCR分区信息

Journal Of Automated Reasoning2021-2022年最新版数据
WOS分区等级 JCR所属学科 分区
Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Q4
名词解释:

汤森路透每年出版一本《期刊引用报告》(Journal Citation Reports,简称JCR)。JCR对86000多种SCI期刊的影响因子(Impact Factor)等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中,主要参考当年IF,最终每个分区的期刊数量是均分的。

期刊数据统计

1、Cite Score
学科类别 分区 排名 百分位
大类:Computer Science 小类:Computational Theory and Mathematics Q2 42 / 165
74%
大类:Computer Science 小类:Artificial Intelligence Q2 147 / 301
51%
大类:Computer Science 小类:Software Q2 199 / 404
50%
名词解释:

CiteScore:该指标由Elsevier于2016年提出,指期刊发表的单篇文章平均被引用次数。CiteScorer的计算方式是:例如,某期刊2022年CiteScore的计算方法是该期刊在2019年、2020年和2021年发表的文章在2022年获得的被引次数,除以该期刊2019年、2020年和2021发表并收录于Scopus中的文章数量总和。

2、综合数据
3、本刊综合数据对比及走势

文章引用数据

文章名称 引用次数
  • 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

期刊被引用数据

期刊名称 引用次数
  • 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

期刊引用数据

期刊名称 引用次数
  • 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

国家/地区发文数据

国家/地区名 数量
  • GERMANY (FED REP GER)

    40
  • USA

    39
  • France

    38
  • England

    29
  • Austria

    18
  • Australia

    14
  • Italy

    13
  • Spain

    12
  • Netherlands

    10
  • Sweden

    7

机构发文数据

机构名 数量
  • 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

相关期刊

SCI期刊导航

免责声明

若用户需要出版服务,请联系出版商:SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。