THEORY AND PRACTICE OF LOGIC PROGRAMMING

SCI期刊JCR分区

SCI期刊JCR分区等级：1区

按学科分区

LOGIC

COMPUTER SCIENCE, SOFTWARE ENGINEERING

COMPUTER SCIENCE, THEORY & METHODS

最新中科院SCI期刊分区（基础版）

大类学科

工程技术

4区

小类学科

计算机：软件工程

4区

计算机：理论方法

4区

逻辑学

1区

Top期刊

是

综述期刊

否

最新中科院SCI期刊分区（升级版）

大类学科

计算机科学

4区

小类学科

逻辑学

3区

计算机：软件工程

4区

计算机：理论方法

4区

Top期刊

否

综述期刊

否

期刊简介

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.

出版信息

出版商

Cambridge University Press

期刊官网

http://journals.cambridge.org/action/displayAbstract

涉及的研究方向

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

刊期

Bimonthly

年文章数

出版国家或地区

UNITED STATES

是否OA

否

SCI期刊收录Coverage

Science Citation Index Expanded (SCIE)

Scopus (CiteScore)

Cite Score相关

Cite Score	SJR	SNIP	排名
3.3	0.778	1.447	学科大类学科：Computer Science 小类学科：Computational Theory and Mathematics 分区 Q2 学科大类学科：Computer Science 小类学科：Theoretical Computer Science 分区 Q2 学科大类学科：Computer Science 小类学科：Hardware and Architecture 分区 Q2 学科大类学科：Computer Science 小类学科：Artificial Intelligence 分区 Q3 学科大类学科：Computer Science 小类学科：Software 分区 Q3