THEORY AND PRACTICE OF LOGIC PROGRAMMING Q1区

期刊收录：
SCIE
Scopus

逻辑程序设计理论与实践杂志

ISSN：
1471-0684
影响因子：
1.4
是否综述期刊：
否
是否预警：
不在预警名单内
是否OA：
否
jcr分区：
Q1区
发刊时间：
0
发刊频率：
Bimonthly
中科院大类：
计算机科学

出版信息

出版国家
UNITED STATES
出版社：
Cambridge University Press
数据库：
SCIE,Scopus
年发文量：
48
国人发稿量：
-
自引率：
-

平均录取率:0
平均审稿周期:12周，或约稿
版面费:US$3255
研究类文章占比100.00%
被引用占比:5.56%
偏重研究方向:工程技术-计算机：理论方法

杂志官网投稿链接关注公众号

期刊关键词

SCIE Scopus LOGIC Q1 计算机科学 3区逻辑学

期刊简介

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.

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

《THEORY AND PRACTICE OF LOGIC PROGRAMMING》期刊已被查看：次