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.
《自动推理杂志》是一本跨学科的期刊,在理论,实现和应用之间保持平衡。发布的材料范围从表示具有逻辑属性证明的新推理规则到旨在解决工业中各种问题的计算机程序的详细说明。涵盖的主要领域是自动定理证明,逻辑编程,专家系统,程序综合和验证,人工智能,计算逻辑,机器人技术以及各种工业应用。论文的共同特点是侧重于自动化推理的几个方面,一个以设计和实现计算机程序为目标的领域,该程序可以作为解决问题和回答需要推理的问题的助手。
自动推理杂志提供了一个论坛和一种交换信息的手段,为那些纯粹对理论感兴趣的人,那些主要对实施感兴趣的人,以及对特定研究和工业应用感兴趣的人。
期刊ISSN
|
0168-7433 |
影响指数
|
0.935 |
最新CiteScore值
|
4.60 查看CiteScore评价数据 |
最新自引率
|
17.90% |
官方指定润色网址
|
https://www.deeredit.com/?type=ss1 |
投稿语言要求
|
Improve the quality of the paper, eliminate grammar and spelling errors, increase readability, ensure accurate communication of viewpoints, enhance academic reputation, and increase the chances of the paper being accepted. 建议点击这个网址:https://www.deeredit.com/?type=ss2,资深审稿专家为您评估稿件质量,提供针对性改进建议,最终可助您极大提升目标期刊录用率 |
期刊官方网址
hot |
https://www.peipusci.com/?type=9 |
杂志社征稿网址
hot |
https://www.peipusci.com/?type=10 |
通讯地址
|
SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ |
偏重的研究方向(学科)
|
工程技术-计算机:人工智能 |
出版周期
|
Bimonthly |
出版年份
|
1985 |
出版国家/地区
|
NETHERLANDS |
是否OA
|
No |
SCI期刊coverage
|
Science Citation Index Expanded(科学引文索引扩展) |
NCBI查询
|
PubMed Central (PMC)链接 全文检索(pubmed central) |
最新中科院JCR分区
|
大类(学科)
小类(学科)
综述期刊
工程技术
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE(计算机:人工智能)4区
否
|
|||||
最新的影响因子
|
0.935 | |||||
最新公布的期刊年发文量 |
|
|||||
总被引频次 | 49 | |||||
影响因子趋势图 |
近年的影响因子趋势图(整体平稳趋势)
|
2022年预警名单预测最新
最新CiteScore值
|
4.60
|
||||||||||||||||||
年文章数 | 72 | ||||||||||||||||||
SJR
|
0.497 | ||||||||||||||||||
SNIP
|
1.759 | ||||||||||||||||||
CiteScore排名
|
|
||||||||||||||||||
CiteScore趋势图 |
CiteScore趋势图
|
本刊同领域相关期刊
|
|
期刊名称 | IF值 |
JOURNAL OF MACHINE LEARNING RESEARCH | 3.617 |
International Journal of Fuzzy Systems | 4.626 |
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS | 1.417 |
INTELLIGENT AUTOMATION AND SOFT COMPUTING | 1.631 |
AI MAGAZINE | 1.083 |
NEUROCOMPUTING | 5.662 |
IET Biometrics | 2.562 |
MACHINE LEARNING | 2.911 |
AI COMMUNICATIONS | 0.532 |
本刊同分区等级的相关期刊
|
|
期刊名称 | IF值 |
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS | 1.417 |
INTELLIGENT AUTOMATION AND SOFT COMPUTING | 1.631 |
AI MAGAZINE | 1.083 |
IET Biometrics | 2.562 |
AI COMMUNICATIONS | 0.532 |
MINDS AND MACHINES | 3.37 |
Neural Network World | 1.503 |
COMPUTING AND INFORMATICS | 0.316 |
Intelligent Data Analysis | 0.851 |
分享者 | 点评内容 |