HI,欢迎来到学术之家股权代码  102064
0
首页 SCI期刊 计算机科学 中科院3区 期刊介绍(非官网)
Journal Of Automated Reasoning杂志

Gold OA文章占比:53.41%

OA被引用占比:0.3186...

开源占比:0.4262

研究类文章占比:100.00%

Journal Of Automated Reasoning

国际标准简称:J AUTOM REASONING

人气 285

《Journal Of Automated Reasoning》是一本专注于COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE领域的English学术期刊,创刊于1985年,由Springer Netherlands出版商出版,出版周期Bimonthly。该刊发文范围涵盖COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE等领域,旨在及时、准确、全面地报道国内外COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。该刊已被SCIE数据库收录,在中科院JCR最新升级版分区表中,该刊分区信息为大类学科计算机科学2区,2023年影响因子为0.9。

  • 3区

    中科院分区
  • Q4

    JCR分区
  • SCIE

    期刊收录
  • 是否预警
ISSN:0168-7433
出版地区:NETHERLANDS
出版周期:Bimonthly
E-ISSN:1573-0670
创刊时间:1985
出版语言:English
是否OA开放访问:未开放
研究方向:工程技术-计算机:人工智能
影响因子:0.9
年发文量:38
出版商:Springer Netherlands
平均审稿速度: 12周,或约稿

Journal Of Automated Reasoning期刊简介

The Journal of Automated Reasoning is an interdisciplinary journal that maintains a balance between theory, implementation and application. The spectrum of material published ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. The main fields covered are automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The papers share the common feature of focusing on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.

The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

Journal Of Automated Reasoning中科院分区

中科院分区2023年12月升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 3区

中科院分区2022年12月升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 2区 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 3区

中科院分区2021年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区

中科院分区:中科院分区是SCI期刊分区的一种,是由中国科学院国家科学图书馆制定出来的分区。主要有两个版本,即基础版和升级版。2019年中国科学院文献情报中心期刊分区表推出了升级版,实现了基础版和升级版的并存过渡;升级版是对基础版的延续和改进,将期刊由基础版的13个学科扩展至18个,科研评价将更加明确。

JCR分区(2023-2024年最新版)

按JIF指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE SCIE Q4 173 / 197
12.4%
按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE SCIE Q4 170 / 198
14.39%

JCR分区:JCR(Journal Citation Reports)由科睿唯安公司(前身为汤森路透)开发。JCR没有设置大类,只将期刊分为176个具体学科,也就是中科院分区中的小类学科。基于不同学科的当年影响因子高低进行排序,将期刊的数量均匀分为四个部分,Q1区代表学科分类中影响因子排名前25%的期刊,以此类推,Q2区为前25%-50%期刊,Q3区为前50%-75%期刊,Q4区为75%以后期刊。

CiteScore 指数(2024年最新版)

  • CiteScore:3.6
  • SJR:0.873
  • SNIP:1.612

CiteScore排名:

学科类别 分区 排名 百分位
大类: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值计算方式:例如2024公布的CiteScore是将统计在 2020年-2023年间年所发表文章的引用次数除以在 2020年-2023年间所发表的发文总数。

CiteScore数据来源:是由全球著名学术出版商Elsevier(爱思唯尔)基于其Scopus数据库推出的期刊评价指标。CiteScore指数以四年区间为基准来计算每本期刊的平均被引用次数,并提供期刊领域排名、期刊分区的相关信息,它的作用是测量期刊的篇均影响力。

其它数据分析对比

近年中科院分区趋势图

近年IF值(影响因子)趋势图

影响因子:是美国科学信息研究所(ISI)的期刊引证报告(JCR)中的一项数据。指的是某一期刊的文章在特定年份或时期被引用的频率,是衡量学术期刊影响力的一个重要指标。自1975年以来,每年定期发布于“期刊引证报告”(JCR)。

发文统计(统计区间:2023年-2024年)

机构名称 发文量
CENTRE NATIONAL DE LA RECHER... 25
INRIA 18
TECHNICAL UNIVERSITY OF MUNI... 14
COMMONWEALTH SCIENTIFIC & IN... 10
AUSTRALIAN NATIONAL UNIVERSI... 9
CARNEGIE MELLON UNIVERSITY 9
UNIVERSITY OF INNSBRUCK 9
MAX PLANCK SOCIETY 8
TECHNISCHE UNIVERSITAT WIEN 7
UNIVERSITE DE LORRAINE 7
国家/地区 发文量
GERMANY (FED REP GER) 40
USA 39
France 38
England 29
Austria 18
Australia 14
Italy 13
Spain 12
Netherlands 10
Sweden 7
文章引用名称 引用次数
The Role of the Mizar Mathem... 13
Compositional Falsification ... 6
Synthesis of Obfuscation Pol... 5
Hammer for Coq: Automation f... 4
Automatic Synthesis of Logic... 3
VST-Floyd: A Separation Logi... 3
System-Level Non-interferenc... 3
Verified iptables Firewall A... 2
Formalization of the Resolut... 2
Verifying the Correctness an... 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

投稿注意事项

文章要求:

1、建议稿件控制10页以上,文章撰写语言为英语;(单栏格式,单倍行距,内容10号字体,文稿类型包含:原创研究(Original Research)、案例报告(Case Report)、文献综述(Literature Review)等;文件格式包含word、PDF、LaTeX等。

2、稿件重复率控制10%以内,论文务必保证原创性、图标、公式、引文等要素齐备,保证附属资料的完整。已发表或引用过度的文章将不会被出版和检索,禁止一稿多投,拒绝抄袭、机械性的稿件。

3、稿件必须有较好的英语表达水平,有图,有表,有公式,有数据或设计,有算法(方案,模型),实验,仿真等;参考文献控制25条以上,参考文献引用一半以上控制在近5年以内。

图片和图表要求:

1、建议使用TIFF、EPS、JPEG格式 ,TIFF格式 使用LZW压缩。

2、文件大小最大不超过20MB,不要以单个文件的形式上传数据。

3、彩色图片的分辨率≥300dpi;黑白图片的分辨率在≥500dpi;line art图片类型的分辨率≥1000dpi;色彩模式建议采用RGB,除非期刊注明要CMYK。

4、线条不要细于0.25pt,也不能太粗,超过1.5pt,过细或过粗都影响美观。

5、表格一般和manuscrript放置在一个word文档里部分期刊 需要单独上传表格。

作者信息:

1、包括作者姓名、最高学位,作者单位(精确到部门),邮箱,地址,邮编,关键词,内容,总结,项目基金,参考文献,作者相片+简介(一定要确保作者信息准确无误,提交稿件之后这部分不能再作改动)。

更多征稿细则请查阅杂志社征稿要求。本站专注期刊投稿服务十年,确保SCI检索,稿件信息安全保密,合乎学术规范不成功不收费,详情请咨询客服。

杂志社联系方式

SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ

免责声明

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