JOURNAL OF AUTOMATED REASONING

期刊名

JOURNAL OF AUTOMATED REASONING

J AUTOM REASONING

ISSN / eISSN

0168-7433 / 1573-0670

目标和范围

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.

研究方向

计算机：人工智能

CiteScore

4.10 查看趋势图

CiteScore 学科排名

类别	分区	排名
Computer Science - Computational Theory and Mathematics	Q2	#42/165
Computer Science - Artificial Intelligence	Q2	#147/301
Computer Science - Software	Q2	#199/404

Web of Science 核心合集

Science Citation Index Expanded (SCIE)	Social Sciences Citation Index (SSCI)
Indexed	-

类别 (Journal Citation Reports 2023)	分区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE - SCIE	Q4

H-index

49

出版国家或地区

NETHERLANDS

出版商

Springer Netherlands

出版周期

Bimonthly

出版年份

1985

年文章数

27

Open Access

NO

通讯方式

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