期刊簡介
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 歡迎提交與邏輯有關(guān)的所有方面的文章，因為它涉及計算機科學的主題。該領(lǐng)域在計算機科學中有著悠久的傳統(tǒng)。獲得 ACM 圖靈獎的幾位研究人員也為該領(lǐng)域做出了貢獻，即 Edgar Codd（關(guān)系數(shù)據(jù)庫系統(tǒng)）、Stephen Cook（邏輯理論的復雜性）、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis（程序邏輯、程序推導和驗證、編程語言語義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。
邏輯繼續(xù)在計算機科學中發(fā)揮重要作用，并滲透到其多個領(lǐng)域，包括人工智能、計算復雜性、數(shù)據(jù)庫系統(tǒng)和編程語言。
本期刊的編輯委員會尋求并希望吸引上述所有計算邏輯領(lǐng)域的高質(zhì)量投稿，以便 TOCL 成為該領(lǐng)域的標準參考。
理論和尋求應用論文。尤其歡迎展示邏輯在計算機科學中的新用途的論文。
期刊點評
Acm Transactions On Computational Logic創(chuàng)刊于2000年，由Association for Computing Machinery (ACM)出版商出版，收稿方向涵蓋工程技術(shù) - 計算機：理論方法全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細分領(lǐng)域中專業(yè)影響力一般，過審相對較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機率較高。平均審稿速度 12周，或約稿 ，影響因子指數(shù)0.7，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。
中科院分區(qū)（數(shù)據(jù)版本：2023年12月升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學 | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區(qū) 4區(qū) | 否 | 否 |
名詞解釋：
中科院分區(qū)也叫中科院JCR分區(qū)，基礎版分為13個大類學科，然后按照各類期刊影響因子分別將每個類別分為四個區(qū)，影響因子5%為1區(qū)，6%-20%為2區(qū)，21%-50%為3區(qū)，其余為4區(qū)。
中科院分區(qū)（數(shù)據(jù)版本：2022年12月升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 3區(qū) 3區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月舊的升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月基礎版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區(qū) 3區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2020年12月舊的升級版）
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 3區(qū) 3區(qū) | 否 | 否 |
WOS分區(qū)（數(shù)據(jù)版本：2023-2024年最新版）
| 按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
| 學科：LOGIC | SCIE | Q1 | 4 / 25 |
86% |
| 按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 58 / 143 |
59.79% |
| 學科：LOGIC | SCIE | Q2 | 12 / 25 |
54% |
名詞解釋：
WOS即Web of Science，是全球獲取學術(shù)信息的重要數(shù)據(jù)庫，Web of Science包括自然科學、社會科學、藝術(shù)與人文領(lǐng)域的信息，來自全世界近9,000種最負盛名的高影響力研究期刊及12,000多種學術(shù)會議多學科內(nèi)容。給期刊分區(qū)時會按照某一個學科領(lǐng)域劃分，根據(jù)這一學科所有按照影響因子數(shù)值降序排名，然后平均分成4等份，期刊影響因子值高的就會在高分區(qū)中，最后的劃分結(jié)果分別是Q1，Q2，Q3，Q4，Q1代表質(zhì)量最高。
CiteScore分區(qū)（數(shù)據(jù)版本：2024年最新版）
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||||||||||
| 2.3 | 0.876 | 1.231 |
|
名詞解釋：
CiteScore：衡量期刊所發(fā)表文獻的平均受引用次數(shù)。
SJR:SCImago 期刊等級衡量經(jīng)過加權(quán)后的期刊受引用次數(shù)。引用次數(shù)的加權(quán)值由施引期刊的學科領(lǐng)域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標準化影響將實際受引用情況對照期刊所屬學科領(lǐng)域中預期的受引用情況進行衡量。
其他數(shù)據(jù)
| 是否OA開放訪問： | h-index： | 年文章數(shù)： |
| 未開放 | 43 | 35 |
| Gold OA文章占比： | 2021-2022最新影響因子（數(shù)據(jù)來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 3.41% | 0.7 | 0 |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預警名單（試行）》名單： |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標和發(fā)文量：
歷年中科院JCR大類分區(qū)數(shù)據(jù)：
歷年自引數(shù)據(jù)：
發(fā)文統(tǒng)計
2023-2024國家/地區(qū)發(fā)文量統(tǒng)計：
| 國家/地區(qū) | 數(shù)量 |
| 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機構(gòu)發(fā)文量統(tǒng)計：
| 機構(gòu) | 數(shù)量 |
| 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 |
近年引用統(tǒng)計：
| 期刊名稱 | 數(shù)量 |
| 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 |
近年被引用統(tǒng)計：
| 期刊名稱 | 數(shù)量 |
| 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 |
近年文章引用統(tǒng)計：
| 文章名稱 | 數(shù)量 |
| 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 |
相關(guān)期刊
| 同小類學科的其他優(yōu)質(zhì)期刊 | 影響因子 | 中科院分區(qū) |
| Differential And Integral Equations | 1.8 | 4區(qū) |
| Mathematics | 2.3 | 3區(qū) |
| Aims Mathematics | 1.8 | 3區(qū) |
| Algebra And Logic | 0.4 | 3區(qū) |
| Mathematical Notes | 0.6 | 4區(qū) |
| Fractal And Fractional | 3.6 | 2區(qū) |
| Journal Of The Royal Statistical Society Series C-applied Statistics | 1 | 4區(qū) |
| Communications On Pure And Applied Mathematics | 3.1 | 1區(qū) |
| Theory And Practice Of Logic Programming | 1.4 | 2區(qū) |
| Applied Mathematics And Computation | 3.5 | 2區(qū) |
更多問題
免責聲明
若用戶需要出版服務，請聯(lián)系出版商：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。