Aims and Scope
The Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated reasoning – mechanical verification of theorems and other deductions in classical and non-classical logic.
Key Metrics
4.2
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
< 5
Impact Factor
Impact Factor
Impact factor of a journal is calculated by dividing the number of current year citations to the source items published in that journal during the previous two years.
Q2
Software
SJR
- Q2 Software
- Q2 Artificial Intelligence
- Q1 Computational Theory and Mathematics
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
1.41
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
14 Mo
Time to Publish
Time to Publish
Based on turnaround time from submission to publication for papers (articles & reviews) published in 2022 and for journals with a sample of more than 10 papers.
Time To Publish
Time to Publish
Based on turnaround time from submission to publication for papers (articles & reviews) published in 2022 and for journals with a sample of more than 10 papers.
Time to Publish
Based on turnaround time from submission to publication for papers (articles & reviews) published in 2022 and for journals with a sample of more than 10 papers.
% of papers by time taken from submission to publication
0 to 3 months
0%
4 to 6 months
12%
7 to 9 months
21%
Above 9 months
67%
Did you find this useful?
Thank you for your feedback.
Topics Covered
- Higher-order logic
- Geometric theorem
- Software verification
- Conflict-Driven Clause Learning
- Winding number
- System of linear equations
- Proof assistant
- Calculus
Journal Specifications
| Overview | |
| Publisher | SPRINGER |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 1985 |
| Publisher URL | Visit website |
| Website URL | Visit website |
Planning to publish in Journal of Automated Reasoning ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Use and Abuse of Instance Parameters in the Lean Mathematical Library
- 12 Dec 24
- Journal of Automated Reasoning
-
Full paper
Investigations into Proof Structures
- 29 Oct 24
- Journal of Automated Reasoning
-
Full paper
A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
- 24 Oct 24
- Journal of Automated Reasoning
-
Full paper
Windmills of the Minds: A Hopping Algorithm for Fermat’s Two Squares Theorem
- 21 Oct 24
- Journal of Automated Reasoning
-
Full paper
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
- 19 Oct 24
- Journal of Automated Reasoning
-
Full paper
Single-Set Cubical Categories and Their Formalisation with a Proof Assistant
- 12 Sep 24
- Journal of Automated Reasoning
Scite analysis
Powered by scite_
1.4k articles received 18.8k citations see all
- 81 Supporting
- 18,545 Mentioning
- 7 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 7 Corrections
- 1 Errata
- 0 Expression of Concern
FAQs
How long has Journal of Automated Reasoning been actively publishing?
Journal of Automated Reasoning has been in operation since 1985 till date.
What is the publishing frequency of Journal of Automated Reasoning ?
Journal of Automated Reasoning published with a Bi-monthly frequency.
How many articles did Journal of Automated Reasoning publish last years ?
In 2024, Journal of Automated Reasoning published 23 articles.
What is the eISSN & pISSN for Journal of Automated Reasoning ?
For Journal of Automated Reasoning,eISSN is 1573-0670 and pISSN is0168-7433.
What is Citescore for Journal of Automated Reasoning ?
Citescore for Journal of Automated Reasoning is 4.2.
What is SNIP score for Journal of Automated Reasoning ?
SNIP score for Journal of Automated Reasoning is 1.41.
What is the SJR for Journal of Automated Reasoning ?
SJR for Journal of Automated Reasoning is Q2.
Who is the publisher of Journal of Automated Reasoning ?
SPRINGER is the publisher of Journal of Automated Reasoning.