國際標(biāo)準(zhǔn)簡稱：ACM T COMPUT LOG
人氣 337
《Acm Transactions On Computational Logic》是一本專注于COMPUTER SCIENCE, THEORY & METHODS領(lǐng)域的English學(xué)術(shù)期刊，創(chuàng)刊于2000年，由Association for Computing Machinery (ACM)出版商出版，出版周期Quarterly。該刊發(fā)文范圍涵蓋COMPUTER SCIENCE, THEORY & METHODS等領(lǐng)域，旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國內(nèi)外COMPUTER SCIENCE, THEORY & METHODS工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動(dòng)態(tài)等。該刊已被SCIE數(shù)據(jù)庫收錄，在中科院最新升級(jí)版分區(qū)表中，該刊分區(qū)信息為大類學(xué)科計(jì)算機(jī)科學(xué)4區(qū)，2023年影響因子為0.7。
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.
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) | 否 | 否 |
中科院分區(qū)：中科院分區(qū)是SCI期刊分區(qū)的一種，是由中國科學(xué)院國家科學(xué)圖書館制定出來的分區(qū)。主要有兩個(gè)版本，即基礎(chǔ)版和升級(jí)版。2019年中國科學(xué)院文獻(xiàn)情報(bào)中心期刊分區(qū)表推出了升級(jí)版，實(shí)現(xiàn)了基礎(chǔ)版和升級(jí)版的并存過渡；升級(jí)版是對(duì)基礎(chǔ)版的延續(xù)和改進(jìn)，將期刊由基礎(chǔ)版的13個(gè)學(xué)科擴(kuò)展至18個(gè)，科研評(píng)價(jià)將更加明確。
| 按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%
|
JCR分區(qū)：JCR（Journal Citation Reports）由科睿唯安公司（前身為湯森路透）開發(fā)。JCR沒有設(shè)置大類,只將期刊分為176個(gè)具體學(xué)科，也就是中科院分區(qū)中的小類學(xué)科。基于不同學(xué)科的當(dāng)年影響因子高低進(jìn)行排序，將期刊的數(shù)量均勻分為四個(gè)部分，Q1區(qū)代表學(xué)科分類中影響因子排名前25%的期刊，以此類推，Q2區(qū)為前25%-50%期刊，Q3區(qū)為前50%-75%期刊，Q4區(qū)為75%以后期刊。
CiteScore排名：
| 學(xué)科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：Mathematics 小類：Logic | Q2 | 11 / 41 |
73%
|
| 大類：Mathematics 小類：Computational Mathematics | Q3 | 99 / 189 |
47%
|
| 大類：Mathematics 小類：General Computer Science | Q3 | 135 / 232 |
42%
|
| 大類：Mathematics 小類：Theoretical Computer Science | Q3 | 81 / 130 |
37%
|
CiteScore值計(jì)算方式：例如2024公布的CiteScore是將統(tǒng)計(jì)在 2020年-2023年間年所發(fā)表文章的引用次數(shù)除以在 2020年-2023年間所發(fā)表的發(fā)文總數(shù)。
CiteScore數(shù)據(jù)來源：是由全球著名學(xué)術(shù)出版商Elsevier（愛思唯爾）基于其Scopus數(shù)據(jù)庫推出的期刊評(píng)價(jià)指標(biāo)。CiteScore指數(shù)以四年區(qū)間為基準(zhǔn)來計(jì)算每本期刊的平均被引用次數(shù)，并提供期刊領(lǐng)域排名、期刊分區(qū)的相關(guān)信息，它的作用是測量期刊的篇均影響力。
近年中科院分區(qū)趨勢圖
近年IF值(影響因子)趨勢圖
影響因子：是美國科學(xué)信息研究所(ISI)的期刊引證報(bào)告(JCR)中的一項(xiàng)數(shù)據(jù)。指的是某一期刊的文章在特定年份或時(shí)期被引用的頻率，是衡量學(xué)術(shù)期刊影響力的一個(gè)重要指標(biāo)。自1975年以來，每年定期發(fā)布于“期刊引證報(bào)告”(JCR)。
| 機(jī)構(gòu)名稱 | 發(fā)文量 |
| CENTRE NATIONAL DE LA RECHER... | 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 NUREM... | 4 |
| UNIVERSITY OF LIVERPOOL | 4 |
| UNIVERSITY OF LUXEMBOURG | 4 |
| 國家/地區(qū) | 發(fā)文量 |
| England | 24 |
| France | 23 |
| GERMANY (FED REP GER) | 23 |
| Italy | 11 |
| USA | 9 |
| Poland | 8 |
| Netherlands | 7 |
| Australia | 5 |
| Finland | 5 |
| Spain | 5 |
| 文章引用名稱 | 引用次數(shù) |
| Modularisation of Sequent Ca... | 3 |
| Are Short Proofs Narrow? QBF... | 3 |
| Checking Admissibility Using... | 3 |
| A Higher-Order Calculus of C... | 3 |
| Interval vs. Point Temporal ... | 2 |
| Path Categories and Proposit... | 2 |
| An Epistemic Strategy Logic | 2 |
| Some Subsystems of Constant-... | 2 |
| Fast Query Answering over Ex... | 2 |
| Reasoning about Cognitive Tr... | 1 |
| 被引用期刊名稱 | 數(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 |
| 引用期刊名稱 | 數(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 |
1、建議稿件控制10頁以上，文章撰寫語言為英語；（單欄格式，單倍行距，內(nèi)容10號(hào)字體，文稿類型包含：原創(chuàng)研究(Original Research)、案例報(bào)告(Case Report)、文獻(xiàn)綜述(Literature Review)等；文件格式包含word、PDF、LaTeX等。
2、稿件重復(fù)率控制10%以內(nèi)，論文務(wù)必保證原創(chuàng)性、圖標(biāo)、公式、引文等要素齊備，保證附屬資料的完整。已發(fā)表或引用過度的文章將不會(huì)被出版和檢索，禁止一稿多投，拒絕抄襲、機(jī)械性的稿件。
3、稿件必須有較好的英語表達(dá)水平，有圖，有表，有公式，有數(shù)據(jù)或設(shè)計(jì)，有算法（方案，模型），實(shí)驗(yàn)，仿真等；參考文獻(xiàn)控制25條以上，參考文獻(xiàn)引用一半以上控制在近5年以內(nèi)。
圖片和圖表要求：1、建議使用TIFF、EPS、JPEG格式 ，TIFF格式 使用LZW壓縮。
2、文件大小最大不超過20MB，不要以單個(gè)文件的形式上傳數(shù)據(jù)。
3、彩色圖片的分辨率≥300dpi；黑白圖片的分辨率在≥500dpi；line art圖片類型的分辨率≥1000dpi；色彩模式建議采用RGB，除非期刊注明要CMYK。
4、線條不要細(xì)于0.25pt,也不能太粗，超過1.5pt,過細(xì)或過粗都影響美觀。
5、表格一般和manuscrript放置在一個(gè)word文檔里部分期刊 需要單獨(dú)上傳表格。
作者信息：1、包括作者姓名、最高學(xué)位，作者單位（精確到部門），郵箱，地址，郵編，關(guān)鍵詞，內(nèi)容，總結(jié)，項(xiàng)目基金，參考文獻(xiàn)，作者相片+簡介（一定要確保作者信息準(zhǔn)確無誤，提交稿件之后這部分不能再作改動(dòng)）。
更多征稿細(xì)則請(qǐng)查閱雜志社征稿要求。本站專注期刊咨詢服務(wù)十年，確保SCI檢索，稿件信息安全保密，合乎學(xué)術(shù)規(guī)范不成功不收費(fèi)，詳情請(qǐng)咨詢客服。
ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701
若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。
中科院分區(qū) 4區(qū)
中科院分區(qū) 4區(qū)
中科院分區(qū) 4區(qū)
中科院分區(qū) 4區(qū)
中科院分區(qū) 4區(qū)
中科院分區(qū) 4區(qū)
中科院分區(qū) 4區(qū)
中科院分區(qū) 4區(qū)
