友情提示:以下期刊信息可能会有更新,仅供参考,请在投稿前自行登录期刊官网仔细核实。
期刊名
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 conversationBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started