Gold OA文章占比：53.41%
OA被引用占比：0.3186...
开源占比：0.4262
研究类文章占比：100.00%
国际标准简称：J AUTOM REASONING
人气 279
《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。
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.
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
中科院分区：中科院分区是SCI期刊分区的一种，是由中国科学院国家科学图书馆制定出来的分区。主要有两个版本，即基础版和升级版。2019年中国科学院文献情报中心期刊分区表推出了升级版，实现了基础版和升级版的并存过渡；升级版是对基础版的延续和改进，将期刊由基础版的13个学科扩展至18个，科研评价将更加明确。
| 按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排名：
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：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)。
| 机构名称 | 发文量 |
| 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。
中科院分区 3区
中科院分区 3区
中科院分区 3区
中科院分区 3区
中科院分区 3区
中科院分区 3区
中科院分区 3区
中科院分区 3区