推荐合适期刊 投稿指导 助力快速见刊免费咨询
Theory And Practice Of Logic Programming是数学领域的一本权威期刊。由Cambridge University Press出版社出版。该期刊主要发表数学领域的原创性研究成果。创刊于2001年,是数学领域中具有代表性的学术刊物。该期刊主要刊载工程技术-计算机:理论方法及其基础研究的前瞻性、原始性、首创性研究成果、科技成就和进展。该期刊不仅收录了该领域的科技成就和进展,更以其深厚的学术积淀和卓越的审稿标准,确保每篇文章都具备高度的学术价值。此外,该刊同时被SCIE数据库收录,并被划分为中科院SCI2区期刊,它始终坚持创新,不断专注于发布高度有价值的研究成果,不断推动数学领域的进步。
同时,我们注重来稿文章表述的清晰度,以及其与我们的读者群体和研究领域的相关性。为此,我们期待所有投稿的文章能够保持简洁明了、组织有序、表述清晰。该期刊平均审稿速度为平均 12周,或约稿 。若您对于稿件是否适合该期刊存在疑虑,建议您在提交前主动与期刊主编取得联系,或咨询本站的客服老师。我们的客服老师将根据您的研究内容和方向,为您推荐最为合适的期刊,助力您顺利投稿,实现学术成果的顺利发表。
大类学科 | 分区 | 小类学科 | 分区 | 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区 | 否 | 否 |
按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% |
学科类别 | 分区 | 排名 | 百分位 |
大类: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 |
SCIE
影响因子 0.3
SCIE
影响因子 0.8
SCIE
影响因子 1.3
CiteScore 2.3
SCIE
影响因子 1
CiteScore 1.6
SCIE
影响因子 2.4
CiteScore 3.7
SCIE
影响因子 0.2
CiteScore 0.8
SCIE
影响因子 0.9
CiteScore 3.3
SCIE
影响因子 4.4
CiteScore 6.2
SCIE
影响因子 1
CiteScore 1.6
SCIE
影响因子 1.4
CiteScore 3.9
若用户需要出版服务,请联系出版商:CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。