《Theory And Practice Of Logic Programming》出版語言：English，具體論文語言需根據相關征稿要求而定，可聯系雜志社或在線客服。
該雜志是一本由Cambridge University Press出版的國際知名學術期刊，創刊于2001年，出版語言：English，專注于工程技術-計算機：理論方法領域，重點介紹工程技術-計算機：理論方法的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。
《邏輯編程理論與實踐》強調邏輯編程的理論和實踐。邏輯編程適用于人工智能和計算機科學的所有領域，是它們的基礎。涵蓋的主題包括使用邏輯編程的人工智能應用、邏輯編程方法、系統的規范、分析和驗證、歸納邏輯編程、多關系數據挖掘、自然語言處理、知識表示、非單調推理、語義網推理、數據庫、實現和架構以及約束邏輯編程。
此外，關于《Theory And Practice Of Logic Programming》的數據統計如下：
（1）JCR分區信息：按JIF指標學科分區：Q3，按JCI指標學科分區：Q2
JCR分區信息
Theory And Practice Of Logic Programming（2023-2024年最新版數據）
| 按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%
|
湯森路透每年出版一本《期刊引用報告》（Journal Citation Reports，簡稱JCR）。JCR對86000多種SCI期刊的影響因子（Impact Factor）等指數加以統計。JCR將收錄期刊分為176個不同學科類別在JCR的Journal Ranking中，主要參考當年IF，最終每個分區的期刊數量是均分的。
（2）Cite Score（2024年最新版）
Cite Score（2024年最新版）
- CiteScore：4.5
- SJR：0.95
- SNIP：1.734
| 學科類別 | 分區 | 排名 | 百分位 |
| 大類：Computer Science 小類：Computational Theory and Mathematics | Q1 | 44 / 176 |
75%
|
| 大類：Computer Science 小類：Theoretical Computer Science | Q2 | 39 / 130 |
70%
|
| 大類：Computer Science 小類：Hardware and Architecture | Q2 | 76 / 177 |
57%
|
| 大類：Computer Science 小類：Software | Q2 | 190 / 407 |
53%
|
| 大類：Computer Science 小類：Artificial Intelligence | Q2 | 169 / 350 |
51%
|
CiteScore：該指標由Elsevier于2016年提出，指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數，除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。
（3）在中科院分區表中，大類學科中數學為：2區，小類學科中LOGIC工程技術-計算機：理論方法：2區
中科院分區信息
邏輯程序設計理論與實踐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區
|
否 | 否 |
中科院JCR期刊分區（又稱分區表、分區數據）是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區表中，主要參考3年平均IF作為學術影響力，最終每個分區的期刊累積學術影響力是相同的，各區的期刊數量由高到底呈金字塔式分布。
投稿咨詢聲明：本信息依據互聯網公開資料整理，若存在錯誤，請及時聯系我們及時更正。
