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.
13 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.
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
Schematic Program Proofs with Abstract Execution
- 26 Mar 24
- Journal of Automated Reasoning
-
Full paper
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
- 15 Mar 24
- Journal of Automated Reasoning
-
Full paper
Should Decisions in QCDCL Follow Prefix Order?
- 9 Feb 24
- Journal of Automated Reasoning
-
Full paper
Non-termination in Term Rewriting and Logic Programming
- 2 Feb 24
- Journal of Automated Reasoning
-
Full paper
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
- 18 Jan 24
- Journal of Automated Reasoning
-
Full paper
A Formalization of the CHSH Inequality and Tsirelson’s Upper-bound in Isabelle/HOL
- 19 Dec 23
- Journal of Automated Reasoning
Scite analysis
Powered by scite_
1.4k articles received 18.3k citations see all
- 79 Supporting
- 18,043 Mentioning
- 7 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 7 Corrections
- 1 Errata
- 0 Expression of Concern
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
3%
4 to 6 months
7%
7 to 9 months
17%
Above 9 months
73%
Did you find this useful?
Thank you for your feedback.
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 2023, Journal of Automated Reasoning published 35 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.