JOURNAL OF AUTOMATED REASONING
metrics 2024
Shaping the Future of Artificial Intelligence Research
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
Metrics History
Rank 2024
Scopus
IF (Web Of Science)
JCI (Web Of Science)
Quartile History
Similar Journals
Argument & Computation
Innovating the Future of Argumentation and AIArgument & Computation is an esteemed academic journal dedicated to the interdisciplinary exploration of formal structures of argumentation and their computational applications. Published by IOS PRESS based in the United Kingdom, this Open Access journal, since its inception in 2010 and particularly impactful since 2016, serves as a pivotal platform for researchers and practitioners seeking to advance the fields of Artificial Intelligence, Computational Mathematics, Computer Science Applications, and Linguistics. With its current categorization in Q3 in Artificial Intelligence, Q2 in Computational Mathematics, and Q1 in Linguistics and Language for 2023, the journal maintains a commendable position within the scholarly community, evidenced by its high Scopus rankings, notably in Linguistics and Language where it ranks in the 92nd percentile. By fostering innovative research and discussions, Argument & Computation plays an essential role in bridging theoretical insights with computational practices, making it indispensable for academics, students, and professionals invested in the evolution of argumentation frameworks and their implications in technology and society.
Notre Dame Journal of Formal Logic
Illuminating the Foundations of Logical InquiryNotre Dame Journal of Formal Logic is a premier academic publication dedicated to the advancement of research in the field of logical studies. Published by DUKE UNIVERSITY PRESS, this journal has been a significant contributor to the discipline since its inception in 1960, with an impressive convergence of scholarly articles expected to continue through 2024. With its focus on rigorous formal logic, the journal plays a crucial role in fostering discussions that bridge mathematics and philosophical inquiry, holding a notable Q2 ranking in the 2023 Logic category. Despite its non-open-access status, the journal reaches a wide audience of researchers, professionals, and students committed to exploring the foundational aspects of logics. Located in Durham, NC, it provides a platform for innovative thought and critical engagement within the logic community. With its impactful contributions, the Notre Dame Journal of Formal Logic stands as a vital resource for those seeking to deepen their understanding of both classic and contemporary logical theories.
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Pioneering Research for a Dynamic Computing LandscapeACM 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.
ACM Transactions on Computational Logic
Advancing the Frontiers of Computational LogicACM 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.
Formalized Mathematics
Empowering Researchers in Formalized SystemsFormalized Mathematics is a pioneering open-access journal published by SCIENDO, dedicated to the field of formalized systems and mathematical foundations. Since its inception in 2006, it has provided a platform for researchers to discuss and disseminate advancements in applied mathematics and computational mathematics, emphasizing formalization in mathematical reasoning. Although recent coverage in Scopus has been discontinued, the journal still serves as a valuable resource for academics looking to deepen their understanding of formalized approaches to mathematical problems. With its ISSN 1898-9934, the journal not only promotes unrestricted access to quality research but also facilitates collaboration among mathematicians and computer scientists. Given its rankings—20th percentile in Applied Mathematics and 18th percentile in Computational Mathematics—Formalized Mathematics is a vital conduit for innovative research, making it a significant asset for students, professionals, and scholars aiming to explore the intersection of mathematics and formal logic.
Computability-The Journal of the Association CiE
Advancing the Frontiers of Computational TheoryComputability - The Journal of the Association CiE, published by IOS PRESS, is a premier academic journal dedicated to advancing the field of computational theory and its applications. Established in 2012, this journal serves a diverse audience, including researchers, professionals, and students involved in the realms of Artificial Intelligence, Computational Theory and Mathematics, and Theoretical Computer Science. With robust categorization in Q2 and Q3 quartiles for various related fields, it provides a vital platform for innovative research and discussions that shape the landscape of computational technologies. Although it operates under a subscription model, the quality of published content ensures significant academic contributions and offers valuable insights relevant to contemporary scientific challenges. Researchers interested in the intersection of computation and its practical implications will find Computability an essential resource for exploring cutting-edge developments and fostering scholarly exchange.
SCIENCE OF COMPUTER PROGRAMMING
Transforming Ideas into Computational ExcellenceScience of Computer Programming, published by Elsevier, is a leading journal dedicated to advancing knowledge in the fields of computer programming, computational theory, and software development. With a focus on interdisciplinary research that spans computational methodologies, information systems, and simulation modeling, this journal plays a vital role in disseminating innovative findings and fostering collaboration among experts in these dynamic areas. With a respectable impact factor and ranked in various Scopus Categories such as computational theory (Q3) and information systems (Q2), it provides a platform for high-quality scholarly articles that push the boundaries of programming science. Although currently not open access, the journal offers invaluable insights for researchers, professionals, and students alike, ensuring they are equipped with the latest advancements and methodologies to thrive in an ever-evolving technological landscape. The journal covers research from its convergence starting in 1981 and continues to welcome groundbreaking contributions as it looks forward to an exciting future through 2025 and beyond.
INFORMATION AND COMPUTATION
Advancing the Frontiers of Computational KnowledgeINFORMATION AND COMPUTATION is a peer-reviewed academic journal published by Academic Press Inc., Elsevier Science, dedicated to advancing the fields of computational theory and mathematics, computer science applications, and information systems. With an ISSN of 0890-5401 and an E-ISSN of 1090-2651, the journal provides a platform for innovative research that spans theoretical and applied perspectives. Acknowledged for its impact in the community, it holds a Q2 quartile ranking in several categories, including Computational Theory and Mathematics and Computer Science Applications, as of 2023. These rankings place it among the leading journals in its field, making it an essential resource for researchers, professionals, and students aiming to stay abreast of cutting-edge developments. While it does not currently offer Open Access options, the journal intends to foster scholarly communication and knowledge sharing from its inception in 1987 to its future issues expected through 2024. Located in the United States, at 525 B ST, STE 1900, SAN DIEGO, CA 92101-4495, INFORMATION AND COMPUTATION is committed to publishing high-quality research that influences the theoretical foundations and practical applications of its diverse disciplines.
FORMAL ASPECTS OF COMPUTING
Elevating Standards in Computing Research and PracticeFORMAL ASPECTS OF COMPUTING is a distinguished journal published by the ASSOCIATION FOR COMPUTING MACHINERY, dedicated to the fields of Software Engineering and Theoretical Computer Science. With the ISSN 0934-5043 and E-ISSN 1433-299X, this journal has made a significant impact in its categories, achieving a Q3 ranking in both Software and Theoretical Computer Science as of 2023. The journal spans over three decades since its inception in 1989, providing a platform for high-quality research that addresses critical formal methods and their applications in computing. While it currently does not offer open access, it remains an essential resource for researchers and practitioners in the field. The journal's credibility is bolstered by its Scopus rankings, placing it in the top half of both theoretical and software-related fields. By engaging with current trends and fostering innovative approaches, FORMAL ASPECTS OF COMPUTING stands as a vital repository of knowledge and a catalyst for future advancements in the discipline.
FUNDAMENTA INFORMATICAE
Advancing the Frontiers of Informatics and Mathematics.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.