Get an email when this journal's indexing changes
Added to or removed from Scopus, Web of Science, ABDC, DOAJ, FT50, UT Dallas or ONOS. One confirmation click; unsubscribe anytime.
Journal of Automated Reasoning is Scopus-indexed (Q2, CiteScore 2.5), WoS SCIE. It is covered by India's One Nation One Subscription scheme for reading access. Published by Springer Netherlands.
Checked against the index lists dated .
ISSN 0168-7433Verify ISSN ↗1573-0670Verify ISSN ↗
Publisher: Springer Netherlands
Cost to publish: About US$3,190 to publish open access (publisher list price, via OpenAlex) — subscription publishing may be free
| Subject area | Rank | Pctile | Q |
|---|---|---|---|
| Computational Theory and Mathematics | 102 / 203 | 50th | Q2 |
| Artificial Intelligence | 308 / 570 | 46th | Q3 |
| Software | 317 / 503 | 37th | Q3 |
Not listed in: DOAJ, ABDC, ABS / AJG, FT50, UT Dallas, ONOS (APC covered)
Yes — actively indexed in Scopus, coverage 1985–present, best quartile Q2, CiteScore 2.5.
Journal of Automated Reasoning is Q2 in Computational Theory and Mathematics (rank 102 of 203), Q3 in Artificial Intelligence (rank 308 of 570) and Q3 in Software (rank 317 of 503), by CiteScore 2025.
Journal of Automated Reasoning is indexed in the Science Citation Index Expanded, so it may have a Journal Impact Factor in Clarivate's Journal Citation Reports. JCR is paid, so check it for the current value. The closest free measure is its Scopus CiteScore 2.5, which places it in quartile Q2 at the 50th percentile of its subject. Its SCImago Journal Rank (SJR, a free Scopus-based metric) is 0.313, quartile Q3, with an H-index of 66.
The publisher lists an article processing charge of about US$3,190 for open access (source: OpenAlex). Many journals also publish by the subscription route at no cost to the author, so confirm on the journal's own website.
Journal of Automated Reasoning is published by Springer Netherlands. Its print ISSN is 0168-7433 and its online ISSN is 1573-0670.
Yes. It is part of the One Nation One Subscription (ONOS) national subscription, so readers at participating Indian institutions get its full text. ONOS does not cover its article processing charge.
Yes — indexed in the Science Citation Index Expanded.
No — it is not registered as an open-access journal in DOAJ or Scopus.
Journal of Automated Reasoning has an h-index of 92 and a 2-year mean of 1.05 citations per paper (OpenAlex). Its Scopus CiteScore is 2.5, quartile Q2. On 2-year citations it ranks #103 of 178 Scopus journals in Computational Theory and Mathematics.
Journal of Automated Reasoning published 33 papers in 2025; its busiest recent year was 2018 with 59. 2026* is the year so far.
h-index, i10-index and 2-year mean citedness are open, licence-clear metrics from OpenAlex — not a proprietary impact factor. The subject rank counts only journals that OpenAlex has a figure for; it is not a Scopus or Clarivate ranking. Updated 2026-10-14.
In its latest 100 research articles (2023–2026), authors are most often from Germany (15.5%), France (14.3%) and United Kingdom (13.2%).
Countries are counted fractionally, so a paper by authors from two countries counts half to each.
Scopus status: Active. No retracted papers are recorded. The Problematic Paper Screener flags none of its papers. These are indicators to check, not findings against the journal.
Retractions from OpenAlex; flags from the Problematic Paper Screener (Cabanac, Labbé & Magazinov, CC BY), 2026-09-21 export. A flag marks a paper for a closer look; it is not a finding against the journal.
Index data is curated from public sources (Scopus, Web of Science, ABDC, FT50, UT Dallas, DOAJ). CiteScore and quartiles reflect the latest available Scopus release. Always verify a journal's current status on its official source before submitting.
Comments load as you scroll here.