THEORY AND PRACTICE OF LOGIC PROGRAMMING

期刊名
THEORY AND PRACTICE OF LOGIC PROGRAMMING

THEOR PRACT LOG PROG

ISSN / eISSN
1471-0684 / 1475-3081
目标和范围
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
3.90 查看趋势图
CiteScore 学科排名
类别 分区 排名
Computer Science - Computational Theory and Mathematics Q2 #48/165
Computer Science - Theoretical Computer Science Q2 #45/127
Computer Science - Artificial Intelligence Q2 #150/301
Computer Science - Hardware and Architecture Q3 #86/169
Computer Science - Software Q3 #210/404
Web of Science 核心收藏夹
Science Citation Index Expanded (SCIE) Social Sciences Citation Index (SSCI)
Indexed -
类别 (Journal Citation Reports 2023) 分区
COMPUTER SCIENCE, SOFTWARE ENGINEERING - SCIE Q4
COMPUTER SCIENCE, THEORY & METHODS - SCIE Q3
LOGIC - SCIE Q1
H-index
37
出版国家或地区
UNITED STATES
出版商
Cambridge University Press
出版周期
Bimonthly
年文章数
48
Open Access
NO
通讯方式
CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started