Journal profile · Computer Science, Artificial Intelligence
Journal of Automated Reasoning
ISSN 0168-7433 · eISSN 1573-0670 · Springer Netherlands · NETHERLANDS · Bimonthly · Founded 1985
Journal of Automated Reasoning: CAS Zone 3 · Computer Science (2025 upgraded edition); impact factor 0.68; hybrid open access; APC about USD 3,190; median 279 days to acceptance (47 articles, last 24 months); community-reported acceptance: easy; 33 articles in 2025; indexed in SCIE and Scopus.
Scope
Aims, scope and focus
Journal of Automated Reasoning is published by Springer Netherlands and is in Zone 3 of Computer Science in the CAS Journal Ranking (2025 upgraded edition). By OpenAlex counts of its recent articles, its largest topics are Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification, together about 58.8% of its articles. Its main subfields are Artificial Intelligence and Computational Theory and Mathematics. (generated from OpenAlex topic counts and CAS ranking data)
The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof. Scientific and industrial applications are invaluable as case studies. They may concern the verification of hardware or software, where they can be used to establish correctness or security properties, or the formalization of mathematics, among many areas. Successful verification efforts yield lessons on how to use the tools better and how to enhance them. They also point to a future in which formal verification will be routine for critical computing infrastructure and for research in mathematics, computer science, and other disciplines that could benefit from the convenience and rigor of automated reasoning.
From the journal's Aims & Scope
Research area (LetPub): Computer Science, Artificial Intelligence
Editor-in-chief Jasmin BlanchettePublisher website
Editorial board by country: 1 in mainland China (about 3%); most named Germany 8, United States 6, Austria 4, United Kingdom 3, France 3 (37 members with a country) Editorial board ↗Publisher website ·
Main research topics OpenAlex counts of recent articles; shares are approximate
- Logic, programming, and type systemsComputer Science25.7%
- Logic, Reasoning, and KnowledgeComputer Science17.3%
- Formal Methods in VerificationComputer Science15.8%
- Semantic Web and OntologiesComputer Science4.7%
- Advanced Algebra and LogicComputer Science3.2%
- semigroups and automata theoryComputer Science3.1%
- Constraint Satisfaction and OptimizationComputer Science2.5%
- Security and Verification in ComputingComputer Science2.4%
Rankings & indexing
CAS ranking and database indexing
CAS Journal Ranking
CAS Journal Ranking, upgraded edition (March 2025)Computer Science Zone 3
| Level | Category | Zone |
|---|---|---|
| Major | Computer Science | Zone 3 |
| Minor | Computer Science, Artificial Intelligence | Zone 3 |
Top journal: noReview journal: no
CAS Xinrui Journal Ranking (March 2026)Computer Science Zone 2
| Level | Category | Zone |
|---|---|---|
| Major | Computer Science | Zone 2 |
| Minor | Computer Science, Artificial Intelligence | Zone 3 |
Top journal: noReview journal: not marked
CAS Journal Ranking, previous upgraded edition (December 2023)Computer Science Zone 3
| Level | Category | Zone |
|---|---|---|
| Major | Computer Science | Zone 3 |
| Minor | Computer Science, Artificial Intelligence | Zone 3 |
Top journal: noReview journal: no
Database indexing
SCIEScopusLetPub
International journal early-warning lists: not listed in any editionLetPub
Indexing the journal's website claims
EI CompendexINSPECzbMATHDBLPPublisher website
Other: Google Scholar, EBSCO, ProQuest, Dimensions, CNKI, Baidu, ACM Digital Library, Naver, OCLC, Portico, CLOCKSS
As the journal's website lists them, not checked against each database; for Web of Science editions the records above apply.
Editions, and major and minor categories, are shown separately and never merged into one zone; check which edition your institution uses before you submit or report.
Metrics
Impact metrics and publication volume
Impact
- Impact factor
- 0.68LetPub ·
- Impact factor (publisher) 2025
- 0.7Publisher website ·
- 5-year impact factor (publisher) 2025
- 1.1Publisher website ·
- CiteScore 2026-06
- 2.5LetPub ·
- SJR 2026-06
- 0.31LetPub ·
- SNIP 2026-06
- 0.89LetPub ·
- h-index
- 49LetPub ·
- h-index
- 92OpenAlex ·
- i10-index
- 704OpenAlex ·
- 2-year mean citedness
- 1.13OpenAlex ·
- Self-citation rate
- 14.3%LetPub ·
- Share of gold OA articles
- 62.5%LetPub ·
Volume
- Articles per year
- 31LetPub ·
- Downloads per year (publisher) 2025
- 141,200Publisher website ·
Articles by year OpenAlex count · 1,437 in total · the current year is incomplete
| Year | Articles | Open access | Citations |
|---|---|---|---|
| 2026 | 18 | 15 | 5 |
| 2025 | 33 | 27 | 37 |
| 2024 | 25 | 20 | 44 |
| 2023 | 39 | 28 | 148 |
| 2022 | 34 | 22 | 152 |
| 2021 | 26 | 21 | 175 |
Sources count differently and were observed at different times, so each source's own value is kept; "publisher" marks figures from the journal's website.
Review & acceptance
Review time and acceptance
Review time from article dates manuscript dates registered with Crossref · to
279 daysMedian, submission to acceptance · P25–P75 213 days – 353 days
- Acceptance to online
- median 36 days (47 articles)
- Submission to online
- median 319 days
- Sample
- 47 articles with submission and acceptance dates (55 in the window); the latest was accepted on
Only articles that were accepted and published are counted, not the time spent on rejected manuscripts, so this usually runs longer than a publisher's "time to first decision".
Other sources
- Average review time (community reports)
- over 12 weeksLetPub ·
- Average acceptance (community reports)
- EasyLetPub ·
- Submission to first decision
- 7 daysPublisher website ·
- Peer review
- Double anonymous peer reviewPublisher website
Community reports come from authors' own submissions (confidence 0.5) and are not a promise from the journal; for publisher figures, the journal's own definitions apply.
Fees & open access
APC and open-access policy
Hybrid open accessLetPub
A subscription journal in which authors can pay to publish their article open access.
| Source | APC | Fee waiver | License | Observed |
|---|---|---|---|---|
| OpenAlex | USD 3,190 / EUR 2,590 / GBP 2,290 | — | — |
A hybrid journal charges the APC only when the author chooses open access; publishing under the subscription model is usually free.
The journal's website is authoritative for fees; sources were observed at different times and each keeps its own value, without averaging.
Submission
Article types and submission policies (journal website)
Open calls for papers1, by deadline
Publisher websiteWhat to prepare4 items from the author guidelines
- Abstract
- 150–250 words
- Keywords
- ≥ 4
- Reference style
- Numbered, in order of citation
- Suggested reviewers
- Optional
Policy excerpts from the journal's websiteAI use, Authorship, Conflicts of interest, Data availability, Publication ethics, License & copyright, Open access, Peer review
- AI use Generative AI Images
Please check Springer’s policy on generative AI images and make sure your work adheres to the principles described therein. Back to top
Source ↗Publisher website ·- Authorship Authorship principles
These guidelines describe authorship principles and good authorship practices to which prospective authors should adhere to. Authorship clarified The Journal and Publisher assume all authors agreed with the content and that all gave explicit consent to submit and that they obtained consent from the responsible authorities at the institute/organization where the work has been carried out, before th…
Source ↗Publisher website ·- Conflicts of interest Disclosures and declarations
All authors are requested to include information regarding sources of funding, financial or non-financial interests, study-specific approval by the appropriate ethics committee for research involving humans and/or animals, informed consent if the research involved human participants, and a statement on welfare of animals if the research involved animals (as appropriate). The decision whether such …
Source ↗Publisher website ·- Data availability Data availability statements
Data availability statement required Model summary
All original research must include a data availability statement. This statement should explain how to access data supporting the results and analysis in the article, including links/citations to publicly archived datasets analysed or generated during the study. Please see our full policy here. If it is not possible to share research data publicly, for instance when individual privacy could be com…
Source ↗Publisher website ·- Publication ethics Compliance with Ethical Standards
COPE member Model summary
To ensure objectivity and transparency in research and to ensure that accepted principles of ethical and professional conduct have been followed, authors should include information regarding sources of funding, potential conflicts of interest (financial or non-financial), informed consent if the research involved human participants, and a statement on welfare of animals if the research involved an…
Source ↗Publisher website ·- License & copyright Copyright
Open Choice articles do not require transfer of copyright as the copyright remains with the author. In opting for open access, the author(s) agree to publish the article under a Creative Commons license. Details of the OA licences offered to authors can be found on the individual journal website, in the journal's How to publish with us guide. Back to top
Source ↗Publisher website ·- Open access Open access publishing
To find out more about publishing your work Open Access in Journal of Automated Reasoning, including information on fees, funding and licences, visit our Open access publishing page. Back to top
Source ↗Publisher website ·- Peer review Single-blind peer review
Single-blind peer review Model summary
This journal follows a single-blind reviewing procedure. This journal also publishes special/guest-edited issues. The peer review process for these articles is the same as the peer review process of the journal in general. Additionally, if a guest editor authors an article in their issue/collection, they will not handle the peer review process. Back to top
Source ↗Publisher website ·
Excerpts are quoted from the journal's website; "model summary" lines are written by Workers AI and checked against the text. The journal's website is authoritative.
Profile
Publication details and official links
- Publisher
- Springer Netherlands
- Country or region
- NETHERLANDS
- Language
- English
- Frequency
- Bimonthly
- Founded
- 1985
- ISSN
- 0168-7433
- Electronic ISSN
- 1573-0670
- Official links
- Journal homepage ↗OpenAlex
- Submission system ↗LetPub
- Author guidelines ↗LetPub
- Special issues ↗Publisher website
FAQ
Frequently asked questions about Journal of Automated Reasoning
What CAS zone is Journal of Automated Reasoning in?
In the 2025 upgraded edition of the CAS Journal Ranking, Journal of Automated Reasoning is in Zone 3 of Computer Science, and in Zone 3 of the minor category Computer Science, Artificial Intelligence. In the 2026 Xinrui edition it is in Zone 2 of Computer Science. Zones from different editions, and from major and minor categories, are not interchangeable.
What is the impact factor of Journal of Automated Reasoning?
The latest impact factor listed by LetPub is 0.68; CiteScore 2.5, h-index 92.
How long does peer review take at Journal of Automated Reasoning?
Based on the dates recorded on 47 articles published between October 2024 and October 2026 (the last 24 months), the median time from submission to acceptance is 279 days (interquartile range 213–353 days); authors report an average review time of over 12 weeks; the community-reported acceptance is “Easy”. Article statistics cover accepted papers only, publisher figures follow the journal's own definitions, and community reports come from authors' own submissions; none is a promise from the journal.
What are the manuscript requirements of Journal of Automated Reasoning?
According to the journal's author guidelines: Abstract: 150–250 words; Keywords: ≥ 4; Reference style: Numbered, in order of citation; Suggested reviewers: Optional. A model extracted these from the author guidelines and each was checked against the text; check the latest version on the journal's website before submitting.
Where are the editorial board members of Journal of Automated Reasoning based?
Of the 37 board members whose country the journal's board page names, 1 (about 3%) are in mainland China; the countries named most often are Germany (8), United States (6) and Austria (4). Counted from the institutions listed on the board page; for reference only.
Which databases index Journal of Automated Reasoning?
According to LetPub and DOAJ records, Journal of Automated Reasoning is indexed in SCIE and Scopus. The journal's website also lists EI Compendex, INSPEC, zbMATH and DBLP; that list has not been checked against each database.
Is Journal of Automated Reasoning open access, and what is the APC?
Journal of Automated Reasoning is a hybrid journal. For open-access publication: APC about USD 3,190.
Sources and updates
The facts on this page come from LetPub, OpenAlex, Publisher website; every figure is tagged with its source and the date it was observed, and conflicting values are kept per source. LetPub source page: view ↗ (archived 2026-08-26). Last updated: .