期刊中文名:自动推理杂志ISSN:0168-7433E-ISSN:1573-0670
该杂志国际简称:J AUTOM REASONING,是由出版商Springer Netherlands出版的一本致力于发布计算机科学研究新成果的的专业学术期刊。该杂志以COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE研究为重点,主要发表刊登有创见的学术论文文章、行业最新科研成果,扼要报道阶段性研究成果和重要研究工作的最新进展,选载对学科发展起指导作用的综述与专论,促进学术发展,为广大读者服务。该刊是一本国际优秀杂志,在国际上有很高的学术影响力。
《Journal Of Automated Reasoning》是一本以English为主的未开放获取国际优秀期刊,中文名称自动推理杂志,本刊主要出版、报道计算机科学-COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE领域的研究动态以及在该领域取得的各方面的经验和科研成果,介绍该领域有关本专业的最新进展,探讨行业发展的思路和方法,以促进学术信息交流,提高行业发展。该刊已被国际权威数据库SCIE收录,为该领域相关学科的发展起到了良好的推动作用,也得到了本专业人员的广泛认可。该刊最新影响因子为0.9,最新CiteScore 指数为3.6。
本刊近期中国学者发表的论文主要有:
Author: Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qian-Ying Zhang, Yong-Dong Li
Author: Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
Author: Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
Author: Jie Zhou, Dingkang Wang, Yao Sun
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.
2023年12月升级版 |
综述:否
TOP期刊:否
大类:计算机科学 3区
小类:
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE |
2022年12月升级版 |
综述:否
TOP期刊:否
大类:计算机科学 2区
小类:
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE |
2021年12月旧的升级版 |
综述:否
TOP期刊:否
大类:计算机科学 2区
小类:
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE |
2021年12月基础版 |
综述:否
TOP期刊:否
大类:工程技术 4区
小类:
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE |
2021年12月升级版 |
综述:否
TOP期刊:否
大类:计算机科学 2区
小类:
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE |
2020年12月旧的升级版 |
综述:否
TOP期刊:否
大类:计算机科学 2区
小类:
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE |
中科院SCI分区:是中国科学院文献情报中心科学计量中心的科学研究成果。期刊分区表自2004年开始发布,延续至今;2019年推出升级版,实现基础版、升级版并存过渡,2022年只发布升级版,期刊分区表数据每年底发布。 中科院分区为4个区。中科院分区采用刊物前3年影响因子平均值进行分区,即前5%为该类1区,6%~20%为2区、21%~50%为3区,其余的为4区。1区和2区杂志很少,杂志质量相对也高,基本都是本领域的顶级期刊。
按JIF指标学科分区 |
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
收录子集:SCIE
分区:Q4
排名:173 / 197
百分位:
12.4% |
按JCI指标学科分区 |
学科:COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
收录子集:SCIE
分区:Q4
排名:170 / 198
百分位:
14.39% |
JCR分区:JCR分区来自科睿唯安公司,JCR是一个独特的多学科期刊评价工具,为唯一提供基于引文数据的统计信息的期刊评价资源。每年发布的JCR分区,设置了254个具体学科。JCR分区根据每个学科分类按照期刊当年的影响因子高低将期刊平均分为4个区,分别为Q1、Q2、Q3和Q4,各占25%。JCR分区中期刊的数量是均匀分为四个部分的。
学科类别 | 分区 | 排名 | 百分位 |
大类: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% |
该杂志是一本国际优秀杂志,在国际上有较高的学术影响力,行业关注度很高,已被国际权威数据库SCIE收录,该杂志在COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE综合专业领域专业度认可很高,对稿件内容的创新性和学术性要求很高,作为一本国际优秀杂志,一般投稿过审时间都较长,投稿过审时间平均 12周,或约稿 ,如果想投稿该刊要做好时间安排。版面费不祥。该杂志近两年未被列入预警名单,建议您投稿。如您想了解更多投稿政策及投稿方案,请咨询客服。
若用户需要出版服务,请联系出版商:SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。
COMPUTER SCIENCE, INFORMATION SYSTEMS
中科院 3区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
中科院 3区
AUTOMATION & CONTROL SYSTEMS
中科院 4区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
中科院 1区
ENGINEERING, ELECTRICAL & ELECTRONIC
中科院 4区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
中科院 4区
ENGINEERING, ELECTRICAL & ELECTRONIC
中科院 3区
ACOUSTICS
中科院 3区
自动化技术的现状与发展趋势 自动化生产线实训总结 自动化技术论文 自动化技术的发展趋势 自动化专业学科评估 自动化毕业论文 自动控制原理论文 自动化专业毕业论文 自动化专业优缺点 自动化技术及其应用
At-automatisierungstechnik Automatika Assembly Automation Automatica Journal Of Cellular Automata Automation In Construction International Journal Of Automation Technology International Journal Of Automation And Control International Journal Of Automation And Computing Journal Of Automated Reasoning