ACM Transactions on Computational Logic

ACM Transactions on Computational Logic (commonly abbreviated as ACM Trans. Comput. Log.) is a quarterly journal on computational logic published by the Association for Computing Machinery. Founded in 2000, it carries a 2025 impact factor of 1.1.ACM Transactions on Computational Logic（常用缩写 ACM Trans. Comput. Log.）是美国计算机学会出版的计算逻辑季刊，2000 年创刊，2025 年影响因子为 1.1。^[1]

Scope

• Scope: the journal is devoted to research concerned with all uses of logic in computer science, collecting work on every application of logic across the field.学科定位： 期刊致力于计算机科学中逻辑的一切应用研究，收录关于逻辑在计算机科学中全部用法的成果。
• Subject coverage: it spans the areas logic permeates, including artificial intelligence, computational complexity, database systems and programming languages, together with specific directions such as automated reasoning, constructive mathematics, proof theory, finite model theory and graph modification problems.收录主题： 覆盖人工智能、计算复杂性、数据库系统与程序设计语言等逻辑渗透的领域，以及自动推理、构造性数学、证明论、有限模型理论与图修改问题等具体方向。
• Article types: full-length research papers and shorter notes are carried, with emphasis on provable results and rigorous formal treatment.体裁： 刊载长篇研究论文与短文，强调可证明的结果与严格的形式化处理。
• Indexing and open access: the journal is indexed in the Science Citation Index Expanded and moves toward open access as part of the wider ACM publishing transition.收录与开放获取： 期刊被科学引文索引扩展版收录，随 ACM 整体出版组合向开放获取过渡。
• Metrics: the journal sits in the first quartile of the JCR computer science theory and methods category, with a 2025 impact factor of 1.1.收录与指标： 在 JCR 计算机理论方法类别中列第一区，2025 年影响因子为 1.1。^[2]

History

• Founded in 2000: the journal was launched by the ACM in 2000 as a dedicated venue for computational logic.2000年创刊： 期刊于 2000 年由 ACM 创刊，成为计算逻辑领域的专门交流平台。
• Background to the founding: as logic kept gaining ground across branches of computer science, the association created the journal to concentrate high-quality results of this direction in one venue.创刊背景： 逻辑在计算机科学各分支的地位持续上升，学会为此设立专刊以集中发表这一方向的高水平成果。
• Relation to SIGLOG: the journal maintains a close bond with ACM SIGLOG, the special interest group on logic and computation, and its editor-in-chief is listed within that body by convention.与 SIGLOG 的关系： 期刊与 ACM 计算与逻辑专业组（SIGLOG）关系密切，主编依惯例在专业组架构中列名。
• Frequency and publication: quarterly with four issues a year, the journal is carried in full text by the ACM Digital Library.刊期与出版： 期刊为季刊，每年出版四期，由 ACM 数字图书馆承载全文。^[3]
• Recent metrics: the impact factor stood at 0.688 in 2019, 0.898 in 2021 and rose to 1.1 in 2025, keeping a steady citation record in theoretical computing.近年指标： 影响因子 2019 年为 0.688，2021 年为 0.898，2025 年升至 1.1，在计算理论方向保持稳定引用。

Editors

• Editor-in-chief: the journal is led by Anuj Dawar of the Department of Computer Science and Technology at the University of Cambridge, whose research centres on descriptive complexity and logical methods.现任主编： 主编为 Anuj Dawar，任职于剑桥大学计算机科学与技术系，研究方向为描述复杂性与逻辑方法。
• Term of office: Dawar took the editorship in 2021 and entered a second term running from 2024 to 2027.主编任期： Dawar 于 2021 年出任主编，2024 年起进入第二个任期，任期至 2027 年。^[4]
• Editorial board: the board brings together scholars across computational logic and dovetails with the executive structure of ACM SIGLOG.编委构成： 编委会由计算逻辑各方向的学者组成，与 ACM SIGLOG 的执行架构相互衔接。
• Submission and peer review: manuscripts are lodged through the ScholarOne system and undergo peer review, with the association having rolled out a unified review policy covering confidentiality and the use of large language models.投稿与评审： 稿件经 ScholarOne 在线系统递交，接受同行评审，学会同时更新了涵盖保密性与大语言模型使用的统一评审政策。
• Editorial policy: the journal upholds high standards at the intersection of logic and computer science, weighing theoretical depth alongside cross-field influence.编辑方针： 期刊坚持逻辑与计算机科学交叉的高标准，兼顾理论深度与跨领域影响。