国际简称:THEOR PRACT LOG PROG 参考译名:逻辑程序设计理论与实践
主要研究方向:工程技术-计算机:理论方法 非预警期刊 审稿周期: 12周,或约稿
《逻辑程序设计理论与实践》(Theory And Practice Of Logic Programming)是一本由Cambridge University Press出版的以工程技术-计算机:理论方法为研究特色的国际期刊,发表该领域相关的原创研究文章、评论文章和综述文章,及时报道该领域相关理论、实践和应用学科的最新发现,旨在促进该学科领域科学信息的快速交流。该期刊是一本未开放期刊,近三年没有被列入预警名单。该期刊享有很高的科学声誉,影响因子不断增加,发行量也同样高。
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 | SJR | SNIP | CiteScore 指数 | ||||||||||||||||||||||||
4.5 | 0.95 | 1.734 |
|
名词解释:CiteScore 是衡量期刊所发表文献的平均受引用次数,是在 Scopus 中衡量期刊影响力的另一个指标。当年CiteScore 的计算依据是期刊最近4年(含计算年度)的被引次数除以该期刊近四年发表的文献数。例如,2022年的 CiteScore 计算方法为:2022年的 CiteScore =2019-2022年收到的对2019-2022年发表的文件的引用数量÷2019-2022年发布的文献数量 注:文献类型包括:文章、评论、会议论文、书籍章节和数据论文。
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% |
Mathematics And Computers In Simulation
中科院 2区 JCR Q1
Israel Journal Of Mathematics
中科院 2区 JCR Q2
Periodica Mathematica Hungarica
中科院 3区 JCR Q3
Discrete Dynamics In Nature And Society
中科院 4区 JCR Q2
Physica D-nonlinear Phenomena
中科院 3区 JCR Q1
Networks And Heterogeneous Media
中科院 4区 JCR Q3
Chaos Solitons & Fractals
中科院 1区 JCR Q1
Qualitative Theory Of Dynamical Systems
中科院 3区 JCR Q1
若用户需要出版服务,请联系出版商:CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。