Journal of Automated Reasoning

  in Journal   Posted on September 23, 2020

Journal Ranking & Metrics

G2R Score : 3.3
G2R H-Index : 11
JCR Impact Factor : 1.431
Scopus Citescore : 3.8
SCIMAGO SJR : 0.701
SCIMAGO H-index : 53
Guide2Research Overall Ranking : 320

Journal Information

ISSN : 0168-7433
Publisher :
Periodicity : Bimonthly
Editors-in-Chief : Tobias Nipkow
Journal & Submission Website : https://www.springer.com/journal/10817

Top Scientists who published in this Journal

Number of top scientists* : 20
Documents published by top scientists* : 27
* Based on data published during the last three years.

Aims & Scope of the Journal

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.