国产精品露出视频,国产精品99蜜臀久久不卡二区,中文字幕一区二区三三

影響因子：1.4
Gold OA文章占比：46.51%
OA被引用占比：0.0555...
CiteScore：4.5
研究類文章占比：100.00%
開源占比：0.3597
文章自引率：0.2142...

推薦合適期刊投稿指導助力快速見刊免費咨詢

Theory And Practice Of Logic Programming 期刊簡介

Theory And Practice Of Logic Programming是數學領域的一本權威期刊。由Cambridge University Press出版社出版。該期刊主要發表數學領域的原創性研究成果。創刊于2001年，是數學領域中具有代表性的學術刊物。該期刊主要刊載工程技術-計算機：理論方法及其基礎研究的前瞻性、原始性、首創性研究成果、科技成就和進展。該期刊不僅收錄了該領域的科技成就和進展，更以其深厚的學術積淀和卓越的審稿標準，確保每篇文章都具備高度的學術價值。此外，該刊同時被SCIE數據庫收錄，并被劃分為中科院SCI2區期刊，它始終堅持創新，不斷專注于發布高度有價值的研究成果，不斷推動數學領域的進步。

同時，我們注重來稿文章表述的清晰度，以及其與我們的讀者群體和研究領域的相關性。為此，我們期待所有投稿的文章能夠保持簡潔明了、組織有序、表述清晰。該期刊平均審稿速度為平均 12周，或約稿。若您對于稿件是否適合該期刊存在疑慮，建議您在提交前主動與期刊主編取得聯系，或咨詢本站的客服老師。我們的客服老師將根據您的研究內容和方向，為您推薦最為合適的期刊，助力您順利投稿，實現學術成果的順利發表。

Theory And Practice Of Logic Programming 期刊國內分區信息

中科院分區 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 期刊國際分區信息（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%

CiteScore指數（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%

期刊評價數據趨勢圖

中科院分區趨勢圖

期刊影響因子和自引率趨勢圖

發文統計

年發文量統計

年份	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023
年發文量	41	38	42	39	40	47	44	30	48	34

國家/地區發文量統計

國家/地區	數量
Italy	44
USA	32
GERMANY (FED REP GER)	24
Spain	22
Austria	16
France	11
Australia	7
England	6
Turkey	6
Scotland	4

機構發文量統計

機構	數量
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

高引用文章

文章名稱	引用次數
Multi-shot ASP solving with clingo	7
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming	4
Founded (Auto) Epistemic Equilibrium Logic Satisfies Epistemic Splitting	3
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning	3
Optimizing Answer Set Computation via Heuristic-Based Decomposition	2
Shared aggregate sets in answer set programming	2
Temporal Answer Set Programming on Finite Traces	2
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming	2
A Distributed Approach to LARS Stream Reasoning (System paper)	2
Incremental Answer Set Programming with Overgrounding	2