Theory And Practice Of Logic Programming（邏輯程序設計理論與實踐雜志）是由Cambridge University Press出版社主辦的一本以工程技術-計算機：理論方法為研究方向，OA非開放（Not Open Access）的國際優秀期刊。旨在幫助發展和壯大數學及相關學科的各個方面。該期刊接受多種不同類型的文章。本刊出版語言為English，創刊于2001年。自創刊以來，已被SCIE（科學引文索引擴展板）等國內外知名檢索系統收錄。該雜志發表了高質量的論文，重點介紹了LOGIC在分析和實踐中的理論、研究和應用。
ISSN：1471-0684
E-ISSN：1475-3081
出版商：Cambridge University Press
出版語言：English
出版地區：UNITED STATES
出版周期：Bimonthly
是否OA：未開放
是否預警：否
創刊時間：2001
年發文量：34
影響因子：1.4
研究類文章占比：100.00%
Gold OA文章占比：46.51%
H-index：37
出版國人文章占比：
出版撤稿文章占比：
開源占比：0.35...
文章自引率：0.2142...
《Theory And Practice Of Logic Programming》是一份國際優秀期刊，為數學領域的研究人員和從業者提供科學論壇。該期刊涵蓋了數學及相關學科的所有方面，包括基礎和應用研究，使讀者能夠獲得來自世界各地的最新、前沿的研究。該期刊歡迎涉及數學領域的原創理論、方法、技術和重要應用的稿件，并刊載了涉及數學領域的相關欄目：綜述、論著、述評、論著摘要等。所有投稿都有望達到高標準的科學嚴謹性，并為推進該領域的科研知識傳播做出貢獻。該期刊最新CiteScore值為4.5，最新影響因子為1.4，SJR指數為0.95，SNIP指數為1.734。
CiteScore指標的應用非常廣泛，以期刊的引用次數為基礎評估期刊的影響力。它可以反映期刊的學術影響力和學術水平，是學術界常用的期刊評價指標之一。
| CiteScore | SJR | SNIP | CiteScore 排名 | ||||||||||||||||||||||||
| 4.5 | 0.95 | 1.734 |
|
CiteScore是由Elsevier公司開發的一種用于衡量科學期刊影響力的指標，以期刊的引用次數為基礎評估期刊的影響力。這個指標是由Scopus數據庫支持，以四年為一個時段，連續評估期刊和叢書的引文影響力的。具體來說，CiteScore是計算某期刊連續三年發表的論文在第四年度的篇均引用次數。CiteScore和影響因子（IF）有所不同。例如，在影響因子的計算中，分子是來自所有文章的引用次數，包括編輯述評、讀者來信、更正信息和新聞等非研究性文章，而分母則不包括這些非研究性文章。然而，在CiteScore的計算中，分子和分母都包括這些非研究性文章。因此，如果這些非研究性文章比較多，由于分母較大，相較于影響因子，CiteScore計算出來的分數可能會偏低。此外，CiteScore的引用數據來自Scopus數據庫中的22000多個期刊，比影響因子來自Web of Science數據庫的11000多個期刊多了一倍。
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 88 / 131 |
33.2% |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 77 / 143 |
46.5% |
| 學科：LOGIC | SCIE | Q1 | 1 / 25 |
98% |
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q2 | 33 / 131 |
75.19% |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q1 | 32 / 143 |
77.97% |
| 學科：LOGIC | SCIE | Q1 | 4 / 25 |
86% |
WOS(JCR)分區是由科睿唯安公司提出的一種新的期刊評價指標，分區越靠前一般代表期刊質量越好，發文難度也越高。這種分級體系有助于科研人員快速了解各個期刊的影響力和地位。JCR將所有期刊按照各個學科領域進行分類，然后以影響因子為標準平均分為四個等級：Q1、Q2、Q3和Q4區。這種設計使得科研人員可以更容易地進行跨學科比較。
中科院SCI期刊分區是由中國科學院國家科學圖書館制定的。將所有的期刊按照學科進行分類，以影響因子為標準平均分為四個等級。分區越靠前一般代表期刊質量越好，發文難度也越高。
2023年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 |
| 否 | 否 | 數學 2區 |
LOGIC
邏輯學
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
2區
3區
3區
|
2022年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 |
| 否 | 否 | 計算機科學 3區 |
LOGIC
邏輯學
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
2區
3區
3區
|
2021年12月舊的升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 |
| 否 | 否 | 計算機科學 4區 |
LOGIC
邏輯學
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
3區
4區
4區
|
2021年12月基礎版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 |
| 是 | 否 | 工程技術 4區 |
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
4區
4區
1區
|
2021年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 |
| 否 | 否 | 計算機科學 4區 |
LOGIC
邏輯學
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
3區
4區
4區
|
2020年12月舊的升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 |
| 否 | 否 | 計算機科學 3區 |
LOGIC
邏輯學
COMPUTER SCIENCE, SOFTWARE ENGINEERING
計算機：軟件工程
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
2區
3區
3區
|
Theory And Practice Of Logic Programming(中文譯名邏輯程序設計理論與實踐雜志)是一本專注于工程技術,計算機：理論方法領域的國際期刊，致力于為全球LOGIC領域的研究者提供一個高質量的學術交流平臺。該期刊ISSN：1471-0684，E-ISSN：1475-3081，出版周期Bimonthly。在中科院的大類學科分類中，該期刊屬于數學范疇，而在小類學科中，它主要涵蓋了LOGIC這一領域。編輯部誠摯邀請廣大數學領域的專家學者投稿，內容可以涵蓋數學的綜合研究、實踐應用、創新成果等方面。同時，我們也歡迎學者們就相關主題進行簡短的交流和評論，以促進學術界的互動與合作。為了保證期刊的質量，審稿周期預計為 12周，或約稿 。在此期間，編輯部將對所有投稿進行嚴格的同行評審，以確保發表的文章具有較高的學術價值和實用性。
值得一提的是，Theory And Practice Of Logic Programming近期并未被列入國際期刊預警名單，這意味著其學術質量和影響力得到了廣泛認可。該期刊為數學領域的學者提供了一個優質的學術交流平臺。因此，關注并投稿至Theory And Practice Of Logic Programming無疑是一個明智的選擇，這將有助于提升您的學術聲譽和研究成果的傳播。
多年來，我們專注于期刊投稿服務，能夠為您分析推薦目標期刊。憑借多年來豐富的投稿經驗和專業指導，我們有效助力提升錄用幾率。點擊以下按鈕即可免費咨詢。
投稿咨詢| 機構 | 發文量 |
| UNIVERSITY OF CALABRIA | 27 |
| UNIVERSITY OF POTSDAM | 13 |
| TECHNISCHE UNIVERSITAT WIEN | 12 |
| UNIVERSITY OF GENOA | 10 |
| UNIVERSITY OF KLAGENFURT | 8 |
| IMDEA SOFTWARE INST | 7 |
| COMPLUTENSE UNIVERSITY OF MADRID | 6 |
| UNIVERSIDAD POLITECNICA DE MADRID | 6 |
| UNIVERSIDADE DA CORUNA | 6 |
| ARIZONA STATE UNIVERSITY | 5 |
| 國家 / 地區 | 發文量 |
| Italy | 44 |
| USA | 32 |
| GERMANY (FED REP GER) | 24 |
| Spain | 22 |
| Austria | 16 |
| France | 11 |
| Australia | 7 |
| England | 6 |
| Turkey | 6 |
| Scotland | 4 |
| 期刊引用數據 | 引用次數 |
| THEOR PRACT LOG PROG | 161 |
| ARTIF INTELL | 101 |
| COMMUN ACM | 24 |
| NEW GENERAT COMPUT | 23 |
| ANN MATH ARTIF INTEL | 22 |
| J ACM | 21 |
| J LOGIC COMPUT | 20 |
| ACM T COMPUT LOG | 19 |
| J ARTIF INTELL RES | 19 |
| FUND INFORM | 15 |
| 期刊被引用數據 | 引用次數 |
| THEOR PRACT LOG PROG | 161 |
| ARTIF INTELL | 42 |
| J ARTIF INTELL RES | 24 |
| ANN MATH ARTIF INTEL | 20 |
| FUND INFORM | 19 |
| INT J APPROX REASON | 15 |
| MACH LEARN | 8 |
| J INTELL MANUF | 5 |
| AUTON ROBOT | 4 |
| CONCURR COMP-PRACT E | 4 |
| 文章引用數據 | 引用次數 |
| Multi-shot ASP solving with clingo | 7 |
| A Trajectory Calculus for Qualitative Spat... | 4 |
| Founded (Auto) Epistemic Equilibrium Logic... | 3 |
| Exploiting Answer Set Programming with Ext... | 3 |
| Optimizing Answer Set Computation via Heur... | 2 |
| Shared aggregate sets in answer set progra... | 2 |
| Temporal Answer Set Programming on Finite ... | 2 |
| Phylotastic: An Experiment in Creating, Ma... | 2 |
| A Distributed Approach to LARS Stream Reas... | 2 |
| Incremental Answer Set Programming with Ov... | 2 |
若用戶需要出版服務，請聯系出版商：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。
