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