SCIESCOPUS
JOURNAL OF AUTOMATED REASONING
Springer Nature, Netherlands
JOURNAL OF AUTOMATED REASONING is an academic journal published by Springer Nature (Netherlands). Identifiers: ISSN 0168-7433, eISSN 1573-0670. Indexed in SCIE, SCOPUS. Metrics: CiteScore 3.1, SJR 0.616, SNIP 1.15. Subject areas: ARTIFICIAL INTELLIGENCE, COMPUTER SCIENCE. tlooto lists 1,769 papers from this journal.
CiteScore
3.10
Scopus citation metric
SJR
0.616
SCImago rank
SNIP
1.15
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 0168-7433
- eISSN
- 1573-0670
- Abbreviation
- -
- Publisher
- Springer Nature
- Country
- Netherlands
Web of Science categories
SCIEARTIFICIAL INTELLIGENCE, COMPUTER SCIENCE
Scopus ASJC categories
170217031712
Keywords
Computer Science, Artificial Intelligence
Papers in this journal
Recent papers
- Applying Saturation-Based Theorem Proving to Open Problems in Positive Implicational Logic
2026
- YALLA: Yet Another Deep Embedding of Linear Logic in Rocq
2026
- A Formal Correctness Proof of Edmonds’ Blossom Shrinking Algorithm
2026
- Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization
2026
- Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 · 2 citations
Most cited papers
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
2007 · 1,585 citations
- HermiT: An OWL 2 Reasoner
2014 · 721 citations
- A Formally Verified Compiler Back-end
2009 · 651 citations
- The TPTP Problem Library and Associated Infrastructure
2009 · 650 citations
- Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
2000 · 448 citations