好投稿
搜索

学术刊物 生活杂志 SCI期刊 投稿指导 期刊服务 文秘服务 出版社 登录/注册 购物车(0)

首页 > SCI期刊 > 数学 > 中科院2区 > JCRQ1 > 期刊介绍
Theory And Practice Of Logic Programming

逻辑程序设计理论与实践 SCIE

Theory And Practice Of Logic Programming

12周，或约稿 审稿时间

2区中科院分区

Q1JCR分区

1.4影响因子

1471-0684

1475-3081

THEOR PRACT LOG PROG

UNITED STATES

工程技术 - 计算机：理论方法

否

2001

37

Bimonthly

English

34

0.21...

投稿咨询 加急服务

期刊简介

逻辑程序设计理论与实践(Theory And Practice Of Logic Programming)是一本由Cambridge University Press出版的一本工程技术-计算机：理论方法学术刊物，主要报道工程技术-计算机：理论方法相关领域研究成果与实践。本刊已入选来源期刊，该刊创刊于2001年，出版周期Bimonthly。2021-2022年最新版WOS分区等级：Q1，2023年发布的影响因子为1.4，CiteScore指数4.5，SJR指数0.95。本刊非开放获取期刊。

《逻辑编程理论与实践》强调逻辑编程的理论和实践。逻辑编程适用于人工智能和计算机科学的所有领域，是它们的基础。涵盖的主题包括使用逻辑编程的人工智能应用、逻辑编程方法、系统的规范、分析和验证、归纳逻辑编程、多关系数据挖掘、自然语言处理、知识表示、非单调推理、语义网推理、数据库、实现和架构以及约束逻辑编程。

中科院分区信息

逻辑程序设计理论与实践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区 否 否
名词解释：

中科院JCR期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中，主要参考3年平均IF作为学术影响力，最终每个分区的期刊累积学术影响力是相同的，各区的期刊数量由高到底呈金字塔式分布。

JCR分区信息

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%
名词解释：

汤森路透每年出版一本《期刊引用报告》（Journal Citation Reports，简称JCR）。JCR对86000多种SCI期刊的影响因子（Impact Factor）等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中，主要参考当年IF，最终每个分区的期刊数量是均分的。

期刊数据统计

1、Cite Score（2024年最新版）
学科类别 分区 排名 百分位
大类：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%
名词解释：

CiteScore：该指标由Elsevier于2016年提出，指期刊发表的单篇文章平均被引用次数。CiteScorer的计算方式是：例如，某期刊2022年CiteScore的计算方法是该期刊在2019年、2020年和2021年发表的文章在2022年获得的被引次数，除以该期刊2019年、2020年和2021发表并收录于Scopus中的文章数量总和。

2、综合数据
3、本刊综合数据对比及走势

文章引用数据

文章名称 引用次数
  • Multi-shot ASP solving with clingo

    7
  • A Trajectory Calculus for Qualitative Sp...

    4
  • Founded (Auto) Epistemic Equilibrium Log...

    3
  • Exploiting Answer Set Programming with E...

    3
  • Optimizing Answer Set Computation via He...

    2
  • Shared aggregate sets in answer set prog...

    2
  • Temporal Answer Set Programming on Finit...

    2
  • Phylotastic: An Experiment in Creating, ...

    2
  • A Distributed Approach to LARS Stream Re...

    2
  • Incremental Answer Set Programming with ...

    2

期刊被引用数据

期刊名称 引用次数
  • 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

期刊引用数据

期刊名称 引用次数
  • 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

国家/地区发文数据

国家/地区名 数量
  • 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

相关期刊

上一本  Theoretical Population Biology
下一本  Theory Of Computing Systems

SCI期刊导航

大类学科：

医学 工程技术 生物学 农林科学 环境科学与生态学 化学 数学 综合性期刊 物理与天体物理 社会学 地球科学 材料科学 计算机科学 经济学 心理学 教育学 哲学 历史学 文学 艺术学

影响因子：

0-1 1-2 2-3 3-4 4-5 5-6 6-7 7-8 9以上

中科院分区：

1区 2区 3区 4区

JCR分区：

Q1 Q2 Q3 Q4

免责声明

若用户需要出版服务，请联系出版商：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。