查看最新文献
订阅
分享
1603中文名称：
逻辑程序设计理论与实践
期刊缩写：
Theory Pract. Logic Program.
影响因子：
1.4
ISSN：
print: 1471-0684
on-line: 1475-3081
on-line: 1475-3081
研究领域：
工程技术-计算机：理论方法
h-index：
37
自引率：
21.40%
Gold OA文章占比：
46.51%
原创研究文献占比：
100.00%
SCI收录类型：
Science Citation Index Expanded (SCIE) || Scopus (CiteScore)
期刊介绍英文：
Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.
CiteScore：
| CiteScore | SJR | SNIP | CiteScore排名 |
|---|---|---|---|
| 4.5 | 0.950 | 1.734 | 学科 排名 百分位 大类：Computer Science 小类：Computational Theory and Mathematics 44 / 176 75% 大类：Mathematics 小类：Theoretical Computer Science 39 / 130 70% 大类：Computer Science 小类：Hardware and Architecture 76 / 177 57% 大类：Computer Science 小类：Software 190 / 407 53% 大类：Computer Science 小类：Artificial Intelligence 169 / 350 51% |
发文信息
中科院SCI期刊分区
| 大类 | 小类 | TOP期刊 | 综述期刊 |
|---|---|---|---|
| 2区 数学 |
2区
逻辑学
LOGIC
3区
计算机：软件工程
COMPUTER SCIENCE, SOFTWARE ENGINEERING
3区
计算机：理论方法
COMPUTER SCIENCE, THEORY & METHODS
|
否 | 否 |
WOS期刊分区
| 学科分类 |
|---|
Q3COMPUTER SCIENCE, SOFTWARE ENGINEERING Q3COMPUTER SCIENCE, THEORY & METHODS Q1LOGIC |
历年影响因子
| 2015年 | 0.9520 |
|---|---|
| 2016年 | 1.3800 |
| 2017年 | 0.8750 |
| 2018年 | 1.1110 |
| 2019年 | 1.0760 |
| 2020年 | 0.7470 |
| 2021年 | 0.9230 |
| 2022年 | 1.4000 |
| 2023年 | 1.4000 |
历年发表
| 2012年 | 54 |
|---|---|
| 2013年 | 86 |
| 2014年 | 66 |
| 2015年 | 49 |
| 2016年 | 58 |
| 2017年 | 47 |
| 2018年 | 52 |
| 2019年 | 70 |
| 2020年 | 55 |
| 2021年 | 59 |
| 2022年 | 40 |
投稿信息
出版周期：
Bimonthly
出版语言：
English
出版国家(地区)：
UNITED STATES
审稿时长：
>12 weeks
出版商：
Cambridge University Press
编辑部地址：
CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473
Theory and Practice of Logic Programming - 最新文献
Metric Temporal Equilibrium Logic over Timed Traces
Pub Date : 2024-09-18 DOI: 10.1017/s1471068424000139 ARVID BECKER, PEDRO CABALAR, MARTÍN DIÉGUEZ, TORSTEN SCHAUB, ANNA SCHUHMANNMulti-Shot Answer Set Programming for Flexible Payroll Management
Pub Date : 2024-05-02 DOI: 10.1017/s1471068424000115 BENJAMIN CALLEWAERT, JOOST VENNEKENSUnit Testing in ASP Revisited: Language and Test-Driven Development Environment
Pub Date : 2024-04-02 DOI: 10.1017/s1471068424000103 GIOVANNI AMENDOLA, GIUSEPPE MAZZOTTA, FRANCESCO RICCA, TOBIAS BEREI
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
