ACM Transactions on Computational Logic
metrics 2024
Driving Excellence in Theoretical and Practical Logic
Introduction
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.
Metrics 2024
Metrics History
Rank 2024
Scopus
IF (Web Of Science)
JCI (Web Of Science)
Quartile History
Similar Journals
International Journal of Fuzzy Logic and Intelligent Systems
Elevating Understanding of Intelligent Technologies GloballyInternational 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
Cultivating a Deeper Understanding of Computational PrinciplesTheoretical 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.
Computability-The Journal of the Association CiE
Shaping the Future of Theoretical Computer ScienceComputability - 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.
ARCHIVE FOR MATHEMATICAL LOGIC
Illuminating the Intersection of Logic and ThoughtArchive for Mathematical Logic, published by Springer Heidelberg, is a distinguished academic journal that delves into the intricate realms of mathematical logic and its philosophical implications. With an ISSN of 0933-5846 and an E-ISSN of 1432-0665, this journal is recognized for its rigorous peer-reviewed articles that contribute significantly to the understanding of logical frameworks. As of 2023, it has achieved a commendable Q2 ranking in Logic and a prestigious Q1 ranking in Philosophy, reflecting its impact within these intellectual fields. Operating from the United States with a publishing address in Heidelberg, Germany, the journal encompasses research spanning from 1988 to 2024, providing a rich historical context to contemporary discussions. With its robust Scopus rankings, it stands at the 70th percentile in Arts and Humanities - Philosophy and holds a notable ranking in Mathematics - Logic, further underscoring its relevance. While it is not an open-access journal, it remains vital for researchers, professionals, and students seeking to advance their knowledge and engage with cutting-edge discussions in mathematical logic and its philosophical applications.
Reports on Mathematical Logic
Exploring the Foundations of ThoughtReports on Mathematical Logic is an esteemed academic journal published by Jagiellonian University’s Theoretical Computer Science Department in Poland. Focusing on the interdisciplinary realms of logic and philosophy, this journal publishes rigorous research articles that explore the foundational aspects and implications of mathematical logic in various contexts. Although it currently maintains an open access model, the journal's impact can be seen through its categorized rankings, with a Q4 in Logic and a commendable Q2 in Philosophy as of 2023. This positions it as a valuable resource for academics seeking to engage with innovative ideas and methodologies in the field. Additionally, the journal has a historical academic presence, having converged in its publication years from 2011 to 2014 and again from 2016 to 2023, underscoring its ongoing commitment to advancing knowledge in logic. With a focus on contemporary research, Reports on Mathematical Logic is essential for researchers, professionals, and students aiming to stay at the forefront of logic studies.
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Exploring Innovations in Computational Theory.THEORY AND PRACTICE OF LOGIC PROGRAMMING, published by Cambridge University Press, is a premier academic journal that delves into the evolving field of logic programming, offering insights and advancements from 2001 to 2024. With an ISSN of 1471-0684 and an E-ISSN of 1475-3081, this journal serves as a vital resource for researchers, professionals, and students interested in areas such as artificial intelligence, computational theory, and software development. In 2023, the journal was recognized for its excellence, achieving Q1 status in Computational Theory and Mathematics and Q2 in several other categories, underscoring its significant impact within the academic community. Despite not being open access, its robust content, curated by esteemed scholars, guarantees high-quality research and innovative methodologies that are crucial for advancing the field. The journal's rigorous peer-review process and its standings in Scopus rankings further emphasize its relevance and authority, making it a quintessential platform for disseminating key findings and fostering scholarly dialogue.
LOGIC JOURNAL OF THE IGPL
Championing Critical Developments in LogicLOGIC JOURNAL OF THE IGPL, published by Oxford University Press, stands as a prominent outlet for scholarly work in the field of logic and philosophy. With its ISSN 1367-0751 and E-ISSN 1368-9894, this journal has been a pivotal platform since its inception, covering critical developments in logical theory, methodology, and applications as well as fostering interdisciplinary dialogue with philosophical inquiries. The journal's impressive ranking in the 2023 Scopus metrics, placing it in the 76th percentile for Mathematics - Logic and categorized in Q2 in Philosophy, underscores its significant impact and relevance. Researchers, professionals, and students alike will benefit from its rich repository of innovative ideas and perspectives, with access options that afford a greater reach to the academic community as well as a commitment to advancing the field until 2024 and beyond. Whether you're exploring the nuances of formal systems or the implications of logic in philosophical contexts, the LOGIC JOURNAL OF THE IGPL offers essential insights that contribute to the ongoing discourse.
Advances in Fuzzy Systems
Catalyzing Interdisciplinary Advances in Fuzzy SystemsAdvances in Fuzzy Systems, published by Hindawi Ltd, is a premier open-access journal dedicated to the interdisciplinary field of fuzzy systems, mathematics, and engineering. Since its inception in 2008, this journal has provided a vital platform for researchers to share innovative ideas and advancements in fuzzy logic and its applications across various domains. With an impressive standing in the field, it holds a Q3 quartile ranking in the highly competitive categories of Computational Mathematics, Control and Optimization, and Control and Systems Engineering, reflecting its significant contribution to advancing knowledge and practices in these areas. The journal's Scopus rankings highlight its relevance, with rankings placing it in notable percentiles, ensuring that the research published is both influential and widely recognized. Researchers, professionals, and students can access a wealth of high-quality articles that drive progress in fuzzy systems methodologies, making it an essential resource for anyone looking to enhance their understanding and application of this critical field.
INFORMATION AND COMPUTATION
Pioneering Research in Computational Theory and MathematicsINFORMATION 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.
JOURNAL OF SYMBOLIC LOGIC
Exploring the Frontiers of Logic and PhilosophyThe JOURNAL OF SYMBOLIC LOGIC, published by Cambridge University Press, stands as a leading platform for scholarly discourse in the realms of logic and philosophy. With a rich history dating back to 1938, this esteemed journal is dedicated to presenting cutting-edge research that pushes the boundaries of knowledge within symbolic logic and its applications. In 2023, it proudly holds a distinguished Q1 ranking in both Logic and Philosophy categories, reflecting its high impact and relevance in the academic community. Researchers and academics benefit from its rigorous peer-review process and contributions from leading scholars worldwide, ensuring the dissemination of high-quality research and critical theories. While the journal currently does not operate under an open access model, it remains a pivotal resource for professionals seeking to deepen their understanding of logical theories and philosophical inquiries. Explore the JOURNAL OF SYMBOLIC LOGIC to engage with scholarly articles that challenge conventional thought and inspire future research.