期刊档案 · 工程技术-计算机：理论方法
ACM Transactions on Computational Logic
ISSN 1529-3785 · eISSN 1557-945X · Association for Computing Machinery (ACM) · UNITED STATES · Quarterly
ACM Transactions on Computational Logic 中科院 数学 4区（2025 年升级版），影响因子 1.1，混合开放获取，近 24 个月 50 篇文章投稿到接收中位 331 天，录用比例容易（社区反馈），2025 年发文 27 篇，SCIE、Scopus 收录。
研究范围
研究范围与定位
ACM Transactions on Computational Logic 由 Association for Computing Machinery (ACM) 出版，属中科院数学大类（2025 升级版4区）。按 OpenAlex 近年发文统计，该刊主要发表 Logic, Reasoning, and Knowledge、Logic, programming, and type systems、Formal Methods in Verification 等主题的论文，这 3 个主题约占 56.9%，主导子领域为 Computational Theory and Mathematics、Artificial Intelligence。（根据 OpenAlex 主题统计与中科院分区数据生成）
ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and programming languages.
摘自期刊官网 Aims & Scope
研究方向（LetPub）：工程技术-计算机：理论方法
主编 Anuj Dawar出版商官网
主要研究主题 OpenAlex 近年发文统计，占比为近似值
- Logic, Reasoning, and KnowledgeComputer Science20.7%
- Logic, programming, and type systemsComputer Science19.9%
- Formal Methods in VerificationComputer Science16.3%
- semigroups and automata theoryComputer Science6%
- Semantic Web and OntologiesComputer Science5.4%
- Advanced Algebra and LogicComputer Science4.2%
- Multi-Agent Systems and NegotiationComputer Science3.3%
- Constraint Satisfaction and OptimizationComputer Science2.7%
分区与收录
学科分区与数据库收录
中科院期刊分区表
期刊分区表（ 2025年3月升级版）数学 4 区
| 类别 | 学科 | 分区 |
|---|---|---|
| 大类 | 数学 | 4 区 |
| 小类 | 计算机：理论方法COMPUTER SCIENCE, THEORY & METHODS | 4 区 |
| 小类 | 逻辑学LOGIC | 4 区 |
Top 期刊：否综述期刊：否
《新锐期刊分区表》（ 2026年3月发布）数学 3 区
| 类别 | 学科 | 分区 |
|---|---|---|
| 大类 | 数学 | 3 区 |
| 小类 | 计算机：理论方法COMPUTER SCIENCE, THEORY & METHODS | 3 区 |
| 小类 | 逻辑学LOGIC | 3 区 |
Top 期刊：否综述期刊：未标注
期刊分区表（ 2023年12月旧的升级版）数学 4 区
| 类别 | 学科 | 分区 |
|---|---|---|
| 大类 | 数学 | 4 区 |
| 小类 | 计算机：理论方法COMPUTER SCIENCE, THEORY & METHODS | 4 区 |
| 小类 | 逻辑学LOGIC | 4 区 |
Top 期刊：否综述期刊：否
数据库收录
SCIEScopusLetPub
国际期刊预警名单：各版本均未列入LetPub
不同版本、大类与小类分别展示，不将不同评价口径合并为一个分区值；投稿与考核前请确认所在机构采用的版本。
指标
影响力指标与发文规模
影响力指标
- 影响因子
- 1.1LetPub ·
- CiteScore 2026-06
- 2.6LetPub ·
- SJR 2026-06
- 0.51LetPub ·
- SNIP 2026-06
- 1.38LetPub ·
- h-index
- 43LetPub ·
- h-index
- 71OpenAlex ·
- i10-index
- 377OpenAlex ·
- 两年平均被引
- 0.99OpenAlex ·
- 自引率
- 0%LetPub ·
- Gold OA 文章占比
- 22.89%LetPub ·
发文规模
- 年文章数
- 23LetPub ·
逐年发文量 OpenAlex 统计 · 累计 814 篇 · 当年数据不完整
| 年份 | 发文量 | 其中 OA | 被引 |
|---|---|---|---|
| 2026 | 23 | 16 | 4 |
| 2025 | 27 | 26 | 18 |
| 2024 | 23 | 18 | 50 |
| 2023 | 24 | 24 | 78 |
| 2022 | 38 | 27 | 230 |
| 2021 | 30 | 23 | 115 |
不同来源的统计口径与观测时间不同，页面保留各来源原值；“出版商公布”为期刊官网自述数据。
审稿与录用
审稿周期与录用情况
文章统计的审稿周期 Crossref 登记的稿件日期 · 至
331 天投稿到接收中位数 · P25–P75 268 天 – 550 天
- 接收到上线
- 中位数 69 天（50 篇）
- 投稿到上线
- 中位数 411 天
- 样本
- 50 篇有投稿与接收日期的文章（窗口内共 60 篇），最近一篇接收于
只统计最终被录用并发表的文章，不含被拒稿件的处理时间，因此通常长于出版商公布的"首次决定时间"。
其他来源
- 平均审稿速度（社区反馈）
- >12周，或约稿LetPub ·
- 平均录用比例（社区反馈）
- 容易LetPub ·
社区反馈来自投稿者样本，置信度 0.5，不代表期刊承诺；“出版商公布”的时间节点定义以官网为准。
费用与开放获取
版面费与开放获取政策
混合开放获取LetPub
订阅期刊，作者可付费选择开放获取发表。
尚未从任何来源获得费用信息，请以期刊官网为准。
混合期刊的文章处理费仅在作者选择开放获取发表时收取；按订阅方式发表通常不收费。
费用以期刊官网为准；不同来源的观测时间可能不同，页面保留各来源原值，不做平均。
投稿要求
文章类型与投稿政策（官网）
官网政策摘录作者资格、同行评审
- 作者资格
ACM introduced a new Policy on Authorship covering key topics including the use of generative AI tools. 模型摘要
ACM has a new Policy on Authorship, covering a range of key topics, including the use of generative AI tools.
原文 ↗出版商官网 ·- 同行评审
ACM updated its Peer Review Policy; an FAQ addresses confidentiality, use of large language models in peer review, conflicts of interest, and other concerns. 模型摘要
ACM is pleased to announce that its Publications Board has approved an updated Peer Review Policy.
原文 ↗出版商官网 ·
摘录来自期刊官网页面，仅保留原文片段；“模型摘要”由 Workers AI 生成并经原文校验，以官网为准。
基本信息
出版信息与官方入口
- 出版商
- Association for Computing Machinery (ACM)
- 出版国家或地区
- UNITED STATES
- 出版语言
- English
- 出版周期
- Quarterly
- ISSN
- 1529-3785
- 电子版 ISSN
- 1557-945X
- 官网最新一期
- Volume 27, Issue 4（2026 年 10 月）
- 官方链接
- 期刊主页 ↗OpenAlex
- 投稿系统 ↗出版商官网
- 专刊 / 特刊征稿 ↗出版商官网
常见问题
关于 ACM Transactions on Computational Logic 的常见问题
ACM Transactions on Computational Logic 是中科院几区期刊？
2025 年升级版分区表中，ACM Transactions on Computational Logic 为数学 4区，小类 计算机：理论方法 / 逻辑学 4 区。2026 年新锐版分区表中为数学 3区。不同版本与大小类分区不能混用。
ACM Transactions on Computational Logic 的影响因子是多少？
LetPub 汇总的最新公布影响因子为 1.1，CiteScore 为 2.6，h-index 为 71。
ACM Transactions on Computational Logic 的审稿周期多长？
按 2024年10月至2026年10月（近 24 个月）50 篇已发表文章登记的日期，投稿到接收的中位数为 331 天（四分位 268–550 天）；投稿社区反馈的平均审稿速度为超过 12 周，平均录用比例反馈为“容易”。文章统计只含被录用的稿件，出版商数据口径以官网为准，社区反馈来自投稿者样本，均不代表期刊承诺。
ACM Transactions on Computational Logic 被哪些数据库收录？
据 LetPub 与 DOAJ 记录，ACM Transactions on Computational Logic 被 SCIE、Scopus 收录。
ACM Transactions on Computational Logic 是开放获取期刊吗？版面费多少？
ACM Transactions on Computational Logic 为混合开放获取。费用信息尚未获得，请以官网为准。
来源与更新
本页事实来自 LetPub、OpenAlex、出版商官网；每个数字旁标注来源与观测日期，冲突数据保留各来源原值。LetPub 原始详情页：查看 ↗（2026-08-25 归档）。最近更新：。