您当前位置：首页 > 国际期刊-JOURNAL OF AUTOMATED REASONING期刊投稿发表详细信息

JOURNAL OF AUTOMATED REASONING Q4

期刊收录：
SCIE
Scopus

基本信息

期刊ISSN：
0168-7433
期刊简拼：
J AUTOM REASONING
年发文章数：
38
E-ISSN：
1573-0670
Gold OA文章占比
53.41%
研究文章占比：
100.00%
是否OA：
No
Jcr分区：
Q4
中科院分区：
3区

出版信息

出版商：
Springer Netherlands
涉及研究方向：
工程技术-计算机：人工智能
出版国家：
NETHERLANDS
出版语言：
English
出版周期：
Bimonthly
出版年份：
1985

2023-2024最新影响因子:0.9
自引率:11.10%
五年影响因子:1.2
JCI期刊引文指标:0.2
h-index:49
CiteScore:3.60

期刊关键词

4区 SCIE Scopus 计算机科学 3区 COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE 计算机：人工智能

期刊简介

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》期刊已被查看：次
期刊简写：J AUTOM REASONING

此期刊被最新的JCR期刊SCIE收录