Journal Title：Acm Transactions On Computational Logic
TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, Dana Scott, Edmond M. Clarke, Allen E. Emerson, and Joseph Sifakis (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).
Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.
The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.
Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.
TOCL 歡迎提交與邏輯有關的所有方面的文章，因為它涉及計算機科學的主題。該領域在計算機科學中有著悠久的傳統。獲得 ACM 圖靈獎的幾位研究人員也為該領域做出了貢獻，即 Edgar Codd（關系數據庫系統）、Stephen Cook（邏輯理論的復雜性）、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis（程序邏輯、程序推導和驗證、編程語言語義）、Robin Milner（交互式定理證明、并發演算和函數式編程）和 John McCarthy（人工智能中的函數式編程和邏輯）。
邏輯繼續在計算機科學中發揮重要作用，并滲透到其多個領域，包括人工智能、計算復雜性、數據庫系統和編程語言。
本期刊的編輯委員會尋求并希望吸引上述所有計算邏輯領域的高質量投稿，以便 TOCL 成為該領域的標準參考。
理論和尋求應用論文。尤其歡迎展示邏輯在計算機科學中的新用途的論文。
Acm Transactions On Computational Logic創刊于2000年，由Association for Computing Machinery (ACM)出版商出版，收稿方向涵蓋工程技術 - 計算機：理論方法全領域，此期刊水平偏中等偏靠后，在所屬細分領域中專業影響力一般，過審相對較易，如果您文章質量佳，選擇此期刊，發表機率較高。平均審稿速度 12周，或約稿 ，影響因子指數0.7，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 數學 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區 4區 | 否 | 否 |
名詞解釋：
中科院分區也叫中科院JCR分區，基礎版分為13個大類學科，然后按照各類期刊影響因子分別將每個類別分為四個區，影響因子5%為1區，6%-20%為2區，21%-50%為3區，其余為4區。
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 3區 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 工程技術 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 3區 3區 | 否 | 否 |
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
| 學科：LOGIC | SCIE | Q1 | 4 / 25 |
86% |
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 58 / 143 |
59.79% |
| 學科：LOGIC | SCIE | Q2 | 12 / 25 |
54% |
名詞解釋：
WOS即Web of Science，是全球獲取學術信息的重要數據庫，Web of Science包括自然科學、社會科學、藝術與人文領域的信息，來自全世界近9,000種最負盛名的高影響力研究期刊及12,000多種學術會議多學科內容。給期刊分區時會按照某一個學科領域劃分，根據這一學科所有按照影響因子數值降序排名，然后平均分成4等份，期刊影響因子值高的就會在高分區中，最后的劃分結果分別是Q1，Q2，Q3，Q4，Q1代表質量最高。
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||||||||||
| 2.3 | 0.876 | 1.231 |
|
名詞解釋：
CiteScore：衡量期刊所發表文獻的平均受引用次數。
SJR:SCImago 期刊等級衡量經過加權后的期刊受引用次數。引用次數的加權值由施引期刊的學科領域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標準化影響將實際受引用情況對照期刊所屬學科領域中預期的受引用情況進行衡量。
| 是否OA開放訪問： | h-index： | 年文章數： |
| 未開放 | 43 | 35 |
| Gold OA文章占比： | 2021-2022最新影響因子（數據來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 3.41% | 0.7 | 0 |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預警名單（試行）》名單： |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標和發文量：
歷年中科院JCR大類分區數據：
歷年自引數據：
2023-2024國家/地區發文量統計：
| 國家/地區 | 數量 |
| England | 24 |
| France | 23 |
| GERMANY (FED REP GER) | 23 |
| Italy | 11 |
| USA | 9 |
| Poland | 8 |
| Netherlands | 7 |
| Australia | 5 |
| Finland | 5 |
| Spain | 5 |
2023-2024機構發文量統計：
| 機構 | 數量 |
| CENTRE NATIONAL DE LA RECHERCHE ... | 14 |
| UNIVERSITY OF OXFORD | 7 |
| UNIVERSITY OF LONDON | 5 |
| UNIVERSITY OF WARSAW | 5 |
| UNIVERSITE DE PARIS | 4 |
| UNIVERSITY OF AMSTERDAM | 4 |
| UNIVERSITY OF BREMEN | 4 |
| UNIVERSITY OF ERLANGEN NUREMBERG | 4 |
| UNIVERSITY OF LIVERPOOL | 4 |
| UNIVERSITY OF LUXEMBOURG | 4 |
近年引用統計：
| 期刊名稱 | 數量 |
| THEOR COMPUT SCI | 37 |
| J ACM | 27 |
| INFORM COMPUT | 23 |
| J LOGIC COMPUT | 22 |
| ACM T COMPUT LOG | 19 |
| ARTIF INTELL | 17 |
| SIAM J COMPUT | 17 |
| LOG METH COMPUT SCI | 15 |
| ANN PURE APPL LOGIC | 13 |
| J AUTOM REASONING | 10 |
近年被引用統計：
| 期刊名稱 | 數量 |
| LOG METH COMPUT SCI | 39 |
| ARTIF INTELL | 23 |
| ACM T COMPUT LOG | 19 |
| THEOR PRACT LOG PROG | 19 |
| MATH STRUCT COMP SCI | 18 |
| THEOR COMPUT SCI | 17 |
| J AUTOM REASONING | 15 |
| J COMPUT SYST SCI | 10 |
| J LOG ALGEBR METHODS | 10 |
| IEEE ACCESS | 7 |
近年文章引用統計：
| 文章名稱 | 數量 |
| Modularisation of Sequent Calcul... | 3 |
| Are Short Proofs Narrow? QBF Res... | 3 |
| Checking Admissibility Using Nat... | 3 |
| A Higher-Order Calculus of Compu... | 3 |
| Interval vs. Point Temporal Logi... | 2 |
| Path Categories and Propositiona... | 2 |
| An Epistemic Strategy Logic | 2 |
| Some Subsystems of Constant-Dept... | 2 |
| Fast Query Answering over Existe... | 2 |
| Reasoning about Cognitive Trust ... | 1 |
| 同小類學科的其他優質期刊 | 影響因子 | 中科院分區 |
| Differential And Integral Equations | 1.8 | 4區 |
| Algebra And Logic | 0.4 | 3區 |
| Mathematics | 2.3 | 3區 |
| Aims Mathematics | 1.8 | 3區 |
| Mathematical Notes | 0.6 | 4區 |
| Journal Of The Royal Statistical Society Series C-applied Statistics | 1 | 4區 |
| Theory And Practice Of Logic Programming | 1.4 | 2區 |
| Communications On Pure And Applied Mathematics | 3.1 | 1區 |
| Fractal And Fractional | 3.6 | 2區 |
| Applied Mathematics And Computation | 3.5 | 2區 |
若用戶需要出版服務，請聯系出版商：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。
