verified SJR 0,616 · Q2 • database Scopus / SJR & Web of Science indexed

Netherlands · Springer Netherlands

workspace_premium Q2 — Software lock_open Open Access

Journal of Automated Reasoning

Journal of Automated Reasoning is a journal indexed in SJR in Software and Computational Theory and Mathematics with an H index of 64. It has a price of 2090 €. It has an SJR impact factor of 0,616 and it has a best quartile of Q2. It is published in English. It has an SJR impact factor of 0,616.

ISSN: 0168-7433

Publisher: Springer Netherlands

Category: Software

Indexation: verifiedScopus / SJR verifiedWeb of Science

open_in_new Portal NPD menu_book Guidelines NPD

schedule CountryOfPapers database fields

SJR Impact Factor trending_up

0,616 Q2

H-index 64

Acceptance rate pie_chart

29% Selective

Source Acceptance_Rate

Time to publication hourglass_top

NPD

Field NPD

Publication cost (APC) payments

2.090 € Open Access

Non-OA path 0 €

Metrics

Scimago and CountryOfPapers database fields

Scopus / SJR Web of Science

SJR Impact

0,616

H-index

64

Docs (year)

24

Docs 3y

110

Total refs

1268

Cites 3y

163

Citable 3y

106

Cites/Doc 2y

1.23

Ref/Doc

52.83

Immediate OA

2090 €

Embargoed OA

NPD

Non OA / Submission

0 €

shield Researcher voice

Name good journals. Call out predatory ones.

Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.

Fair & fast peer review Clear APC / no surprise fees Suspected predatory Fake impact claims

rate_review Write an honest review

Researcher reviews

sentiment_dissatisfied No reviews yet — be the first to share an honest experience.

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID * * Only to validate authenticity — identity is not shown publicly.

Best articles by citations

A family of goal directed theorem provers based on conjunction and implication: Part 1

Announcement

Automated reasoning and nonclassical logics: Introduction

Computations in fragments of intuitionistic propositional logic

Constructing finite algebras with FALCON

Formal Proofs of Rounding Error Bounds

Herbrand Award Acceptance Speech

Partial Functions in ACL2

Preface: Special Issue on Uncertain Reasoning

Relevant logic programming

TABLEAUX: A general theorem prover for modal logics

FAQs

Journal of Automated Reasoning has an SJR of 0,616 (best quartile Q2) in the CountryOfPapers database.

Immediate OA APC is 2090 EUR. Non-OA / submission fee is 0 EUR.

The acceptance rate recorded for Journal of Automated Reasoning is 29%.

Journal of Automated Reasoning

Metrics

Name good journals. Call out predatory ones.

Researcher reviews

Best articles by citations

FAQs

What is the SJR of Journal of Automated Reasoning?

What is the APC / publication cost?

What is the acceptance rate?