Theory And Practice Of Logic Programming（逻辑程序设计理论与实践杂志）是由Cambridge University Press出版社主办的一本以数学-LOGIC为研究方向，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。
