邏輯程序設計理論與實踐(Theory And Practice Of Logic Programming)是一本由Cambridge University Press出版的一本工程技術-計算機：理論方法學術刊物，主要報道工程技術-計算機：理論方法相關領域研究成果與實踐。本刊已入選來源期刊，該刊創刊于2001年，出版周期Bimonthly。2021-2022年最新版WOS分區等級：Q1，2023年發布的影響因子為1.4，CiteScore指數4.5，SJR指數0.95。本刊非開放獲取期刊。
《邏輯編程理論與實踐》強調邏輯編程的理論和實踐。邏輯編程適用于人工智能和計算機科學的所有領域，是它們的基礎。涵蓋的主題包括使用邏輯編程的人工智能應用、邏輯編程方法、系統的規范、分析和驗證、歸納邏輯編程、多關系數據挖掘、自然語言處理、知識表示、非單調推理、語義網推理、數據庫、實現和架構以及約束邏輯編程。
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 數學 | 2區 | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區 3區 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區 3區 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 3區 4區 4區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 工程技術 | 4區 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區 4區 1區 | 是 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 3區 4區 4區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區 3區 3區 | 否 | 否 |
中科院JCR期刊分區（又稱分區表、分區數據）是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區表中，主要參考3年平均IF作為學術影響力，最終每個分區的期刊累積學術影響力是相同的，各區的期刊數量由高到底呈金字塔式分布。
| 按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，最終每個分區的期刊數量是均分的。
| 學科類別 | 分區 | 排名 | 百分位 |
| 大類：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中的文章數量總和。
| 文章名稱 | 引用次數 |
| 期刊名稱 | 引用次數 |
| 期刊名稱 | 引用次數 |
| 國家/地區名 | 數量 |
| 機構名 | 數量 |
中科院分區 2區 JCR分區 Q1
查看詳情
中科院分區 2區 JCR分區 Q1
查看詳情
中科院分區 2區 JCR分區 Q1
查看詳情
中科院分區 4區 JCR分區 Q3
查看詳情
中科院分區 2區 JCR分區 Q1
查看詳情
中科院分區 4區 JCR分區 Q2
查看詳情若用戶需要出版服務，請聯系出版商：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。