JOURNAL OF AUTOMATED REASONING

metrics 2024

Fostering Excellence in Automated Reasoning Methodologies

Introduction

JOURNAL OF AUTOMATED REASONING is a premier academic journal published by SPRINGER, focusing on the dynamic and evolving fields of Artificial Intelligence, Computational Theory and Mathematics, and Software. With an ISSN of 0168-7433 and E-ISSN 1573-0670, this journal ranks impressively in the second quartile (Q2) across multiple categories, reflecting its significant contribution to the advancement of knowledge in automated reasoning methodologies. Since its inception in 1985, it has served as a vital platform for researchers and professionals to share groundbreaking findings and innovative techniques, facilitating the exploration of algorithms, logical frameworks, and reasoning processes that underpin artificial intelligence systems. Although it does not currently offer Open Access options, it remains a highly regarded resource, cited widely in academia, with its impactful publications reflecting deep insights and rigorous scholarly standards. The journal’s esteemed status and its ongoing commitment to fostering a greater understanding of automated reasoning make it an invaluable asset for those dedicated to pushing the boundaries of these interdisciplinary fields.

Metrics 2024

SCIMAGO Journal Rank0.87
Journal Impact Factor0.90
Journal Impact Factor (5 years)1.20
H-Index62
Journal IF Without Self0.90
Eigen Factor0.00
Normal Eigen Factor0.19
Influence0.50
Immediacy Index0.20
Cited Half Life9.60
Citing Half Life13.00
JCI0.20
Total Documents835
WOS Total Citations828
SCIMAGO Total Citations4802
SCIMAGO SELF Citations276
Scopus Journal Rank0.87
Cites / Document (2 Years)1.60
Cites / Document (3 Years)1.70
Cites / Document (4 Years)1.65

Metrics History

Rank 2024

Scopus

Computational Theory and Mathematics in Computer Science
Rank #67/176
Percentile 61.93
Quartile Q2
Artificial Intelligence in Computer Science
Rank #196/350
Percentile 44.00
Quartile Q3
Software in Computer Science
Rank #233/407
Percentile 42.75
Quartile Q3

IF (Web Of Science)

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Rank 173/197
Percentile 12.40
Quartile Q4

JCI (Web Of Science)

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Rank 170/198
Percentile 14.14
Quartile Q4

Quartile History

Similar Journals

International Journal of Fuzzy Logic and Intelligent Systems

Connecting Researchers to the Pulse of Intelligent Systems
Publisher: KOREAN INST INTELLIGENT SYSTEMSISSN: 1598-2645Frequency: 4 issues/year

International Journal of Fuzzy Logic and Intelligent Systems, ISSN: 1598-2645, is a prestigious journal published by the Korean Institute of Intelligent Systems, dedicated to advancing the fields of Artificial Intelligence, Computational Theory and Mathematics, Computer Science Applications, Logic, and Signal Processing. Established to foster interdisciplinary research, this journal has quickly established its reputation, reaching a respectable Q3 quartile ranking across multiple categories in 2023. It serves as a vital resource for researchers, professionals, and students, offering insights into cutting-edge methodologies and innovative applications of fuzzy logic and intelligent systems. With a focus on disseminating high-quality research, the journal attracts contributions that drive the evolution of intelligent technologies and their practical implications. Published from South Korea, the journal is positioned to impact the global community, facilitating a deeper understanding of intelligent systems in various domains.

Theoretical Computer Science

Unraveling the Mysteries of Theoretical Computer Science
Publisher: ELSEVIERISSN: 0304-3975Frequency: 48 issues/year

Theoretical Computer Science, published by Elsevier, serves as a pivotal platform in the field of computational theory, exploring the foundational aspects of computer science and mathematical logic since its inception in 1975. With both a print ISSN of 0304-3975 and an E-ISSN of 1879-2294, this journal is esteemed for its rigorous peer-review process and commitment to advancing knowledge in theoretical frameworks and algorithms. Positioned in the Q2 quartile for both Computer Science (miscellaneous) and Theoretical Computer Science categories, it ranks #124 out of 232 in general computer science and #73 out of 130 in theoretical computer science according to Scopus metrics, reflecting its significant influence and reach within the academic community. Researchers and professionals can access this journal through institutional subscriptions, providing a plethora of high-quality articles that contribute to ongoing debates and developments in the discipline. The journal's scope encompasses a wide array of topics, ensuring relevance across various subfields, thus making it an essential resource for anyone dedicated to furthering their understanding of theoretical computer science.

ACM Transactions on Computational Logic

Exploring New Dimensions in Logic and Computation
Publisher: ASSOC COMPUTING MACHINERYISSN: 1529-3785Frequency: 4 issues/year

ACM Transactions on Computational Logic, published by the Association for Computing Machinery, is a premier journal dedicated to the advancement of computational logic, spanning the disciplines of computer science and mathematics. With its ISSN 1529-3785 and E-ISSN 1557-945X, this journal has established itself as a vital resource within the academic community, particularly noted for its influential contributions reflected in its 2023 scopus rankings. The journal holds notable quartile rankings, achieving Q1 in the fields of Computer Science (miscellaneous) and Logic, alongside Q2 in Computational Mathematics and Theoretical Computer Science, indicating its prestigious position in the respective categories. Researchers, practitioners, and students can access a wealth of rigorous research articles that delve into both theoretical frameworks and practical applications of computational logic, fostering innovation and collaboration in the field. As it converges towards its 2024 objectives, ACM Transactions on Computational Logic continues to uphold a commitment to excellence and impact, striving to shape the future of computational theories and methodologies.

ANNALS OF PURE AND APPLIED LOGIC

Advancing Knowledge in Pure and Applied Logic
Publisher: ELSEVIERISSN: 0168-0072Frequency: 12 issues/year

ANNALS OF PURE AND APPLIED LOGIC is a premier academic journal published by Elsevier, specializing in the foundational aspects of logic since its inception in 1974. With a strong commitment to disseminating original research, the journal focuses on both pure and applied logic, making significant contributions to the fields of mathematics and computer science. The journal is recognized for its rigorous peer-review process and is currently ranked Q1 in Logic, reflecting its status among the top-tier publications in the discipline. Researchers will find valuable insights and advancements in logical theory and practice in its pages, while the journal's Scopus ranking further positions it strategically within the mathematical logic community. Although it is not an open-access publication, it offers convenient access options for institutions and subscribers, ensuring a wide reach for groundbreaking findings. The ANNALS OF PURE AND APPLIED LOGIC continues to be an essential resource for professionals, students, and academics alike, facilitating a deeper understanding of logical frameworks and their applications.

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY

Exploring the intersection of theory and application.
Publisher: AMER MATHEMATICAL SOCISSN: 0273-0979Frequency: 4 issues/year

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY is a premier peer-reviewed journal published by the American Mathematical Society, dedicated to advancing the field of mathematics since its inception in 1891. With its rigorous focus on both applied and theoretical mathematics, the journal has achieved a notable Q1 ranking in both Applied Mathematics and Mathematics (miscellaneous) categories for 2023, reinforcing its significance in the academic community. With an ISSN of 0273-0979 and an E-ISSN of 1088-9485, it serves as a vital resource for researchers and practitioners, facilitating dissemination of high-quality mathematical research and insights. Despite not offering Open Access, the journal continues to attract a wide readership, spotlighting important developments and emerging trends in the discipline. Its robust Scopus rankings—placing it in the 82nd percentile for General Mathematics and the 62nd percentile for Applied Mathematics—underscore its role as a critical avenue for scholarly communication and innovation. As the field of mathematics evolves, the BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY remains committed to fostering dialogue and disseminating significant findings that shape the future of mathematical research.

Foundations and Trends in Machine Learning

Advancing the Frontiers of Machine Learning Knowledge
Publisher: NOW PUBLISHERS INCISSN: 1935-8237Frequency: 4 issues/year

Foundations and Trends in Machine Learning is a premier academic journal published by NOW PUBLISHERS INC, specializing in the cutting-edge fields of artificial intelligence, human-computer interaction, and software engineering. Since its inception in 2008, this journal has established a formidable reputation, attaining a Q1 ranking in 2023 across all three categories in the Scopus index, confirming its place among the elite publications in these disciplines. With an exceptional impact reflected in its standing as the top-ranked journal in Computer Science for both Software and Artificial Intelligence, researchers and practitioners alike turn to this resource for in-depth reviews and foundational insights that drive progress in the rapidly evolving landscape of machine learning. While currently operating under traditional access options, the journal invites a diverse audience, including students, researchers, and industry professionals, to deepen their understanding and contribute to knowledge in this dynamic area of study.

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Connecting Scholars and Practitioners in Programming Excellence
Publisher: ASSOC COMPUTING MACHINERYISSN: 0164-0925Frequency: 4 issues/year

ACM Transactions on Programming Languages and Systems (ISSN: 0164-0925, E-ISSN: 1558-4593) is a prestigious journal published by the Association for Computing Machinery, focusing on advancing the field of programming languages and systems. Established in 1979, this enduring publication has become a significant resource for researchers and practitioners alike, with a convergence extending to 2024. The journal maintains a strong presence in the academic community, currently placed in the Q2 category for Software in 2023, demonstrating its commitment to high-quality research. With a Scopus ranking of #260 out of 407 in Computer Science Software, it highlights a unique niche that bridges theoretical foundations and practical implementations. Although it does not offer open access, the journal ensures quality dissemination of tools, methodologies, and innovations that cater to both seasoned professionals and emerging scholars. The ACM Transactions on Programming Languages and Systems thus plays a crucial role in shaping the future of programming languages and their applications, making it an essential read for anyone vested in the field.

FUNDAMENTA INFORMATICAE

Championing Innovative Studies in Mathematics and Computer Science.
Publisher: IOS PRESSISSN: 0169-2968Frequency: 28 issues/year

FUNDAMENTA INFORMATICAE is a distinguished academic journal published by IOS PRESS, focusing on the critical intersection of informatics, mathematics, and computer science. Since its inception in 1988, this journal has served as a vital resource for researchers and professionals alike, providing a platform for innovative studies in Algebra and Number Theory, Computational Theory and Mathematics, Information Systems, and Theoretical Computer Science. With an impressive HIndex, and ranking in the Q3 and Q4 categories across various disciplines as of 2023, it underscores its contribution and relevance in advancing the body of knowledge in these fields. The journal's commitment to excellence is reflected not only in its rigorous peer-review process but also in its notable rankings on Scopus, which positions it favorably among its peers. Though not yet available as an open access journal, FUNDAMENTA INFORMATICAE remains a crucial academic venue for authors wishing to disseminate their findings to a global audience, promoting collaboration and further research within the scientific community.

SOFTWARE QUALITY JOURNAL

Empowering practitioners with cutting-edge research.
Publisher: SPRINGERISSN: 0963-9314Frequency: 4 issues/year

SOFTWARE QUALITY JOURNAL, published by Springer, is a preeminent platform dedicated to advancing the field of software engineering and quality assurance. With an ISSN of 0963-9314 and an E-ISSN of 1573-1367, this journal serves as a vital resource for academics and practitioners alike, bridging the gap between theoretical frameworks and practical applications. The journal is recognized for its impactful contributions, holding a remarkable Q1 ranking in Media Technology and demonstrating strong performance with Q2 placements in Safety, Risk, Reliability and Quality, as well as Software, solidifying its reputation in the academic community. As of 2023, the journal is ranked 64th in Safety, Risk, Reliability and Quality and 176th in Computer Science Software on Scopus, showcasing its relevance and influence. Covering a broad range of topics from software quality metrics to risk management strategies, SOFTWARE QUALITY JOURNAL aims to foster innovation and best practices in software development. Join a community of leading researchers and professionals committed to enhancing the quality and reliability of software systems.

BULLETIN OF SYMBOLIC LOGIC

Unraveling the Mysteries of Logic and Reasoning
Publisher: CAMBRIDGE UNIV PRESSISSN: 1079-8986Frequency: 4 issues/year

BULLETIN OF SYMBOLIC LOGIC, published by Cambridge University Press, is a distinguished academic journal that serves as an essential platform for the dissemination of research in the realms of logic and philosophy. Since its inception in 1995, this journal has progressed through its convergence years and remains committed to fostering intellectual discourse among scholars. With a 2023 ranking in the Q1 category of Philosophy and a Q3 classification in Logic, it continues to uphold its reputation as a significant contributor to the field. While operating under a traditional subscription model, the journal dedicates itself to publishing high-quality articles that explore foundational issues, advanced theories, and innovative insights in symbolic logic. Researchers, professionals, and students will find invaluable resources within its pages, particularly as it ranks favorably among peers, with noteworthy standings in Scopus rankings. For those seeking to deepen their understanding of logical frameworks and their philosophical implications, BULLETIN OF SYMBOLIC LOGIC is an indispensable resource.