Journal of Automated Reasoning
Impact Factor Trend (2018–2026)
Clarivate IF trend for Journal of Automated Reasoning
SCImago Journal Rank citation prestige weighting
66 papers with at least that number of citations each
Aims & Scope
The Journal of Automated Reasoning is an interdisciplinary journal that maintains a balance between theory, implementation and application. The spectrum of material published ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. The main fields covered are automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The papers share the common feature of focusing on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning. The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.
Special Issues
Calls for PapersNo active Calls for Papers found for this journal.
WoS Categories & Quartiles
Detailed JCR / JCI category rankings and quartile breakdown from Clarivate
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Annual Historical Statistics & Publications
Track annual publication volume, total citations, and Impact Factor evolution
SCImago & Scopus Journal Intelligence
Global SCImago ranking, SJR prestige index, Scopus coverage, and societal policy impact
Weighted prestige citation metric per document indexed in the Scopus database.
Average citations received per document published in the 2-year window.
Estimated Article Processing Charge for Open Access publication.
Scopus 3-Year Publication & Citation Window
Aggregated from Scopus database across the 3-year SJR evaluation window.
Societal Impact & Inclusivity (SCImago)
Citations in government and international policy documents
Percentage of female authors published in the journal
Real-world societal policy reach and author gender diversity tracked by SCImago.
Scopus Subject Categories
Journal Metrics & Citation Visualizations
Total Cites vs Self-Cites
Evaluation of scholarly independence and citation reach
Citations per Document
Citation metric windows across 2, 3, and 4 years
Chinese Academy of Sciences (CAS) Classification
Major / minor zone classification and CAS Early Warning List history
Academic Intelligence Overview & Context
ImpaQ AnalysisJournal of Automated Reasoning (abbr: J AUTOM REASONING, ISSN: 0168-7433) is a peer-reviewed international scholarly journal in the field of Engineering & Technology, published by Springer Netherlands in Netherlands since 1985. The periodical holds a Journal Impact Factor (JIF) of 0.70, ranking in quartile Q4 of Web of Science (SCIE), a Scopus SJR indicator of 0.313 (Q3), an H-index of 66.
The journal enforces rigorous peer evaluation with a publication frequency of Bimonthly, an annual output of approximately 23 scientific articles. In terms of accessibility and author fees, it operates under the Hybrid model with an estimated APC of $3,118 USD. It serves as a benchmark publication platform for academics, researchers, and doctoral candidates seeking global research visibility.
Publishing & Editorial Information
Detailed publisher, peer-review turnaround, and publication cycle specifications
Similar Journals in Discipline
Journals in the same research field with comparable impact metrics