您当前浏览器版本过低,为了不影响您的使用,建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器,更换浏览器后使用更流畅!(注意!双核浏览器请切换为极速模式)
400-607-9388
THEORY AND PRACTICE OF LOGIC PROGRAMMING
转发
打开微信扫一扫
期刊ISSN
1471-0684
E-ISSN
1475-3081
影响因子
登录后查看数据
自引率
35.8%
SCI期刊JCR分区
SCI期刊JCR分区等级:1区
按学科分区
LOGIC
Q1
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Q4
COMPUTER SCIENCE, THEORY & METHODS
Q4
最新中科院SCI期刊分区
(基础版)
大类学科 小类学科 Top期刊 综述期刊
工程技术
4区
计算机:软件工程
4区
计算机:理论方法
4区
逻辑学
1区
最新中科院SCI期刊分区
(升级版)
大类学科 小类学科 Top期刊 综述期刊
计算机科学
4区
逻辑学
3区
计算机:软件工程
4区
计算机:理论方法
4区
期刊简介
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
年文章数 30
出版国家或地区 UNITED STATES
是否OA
SCI期刊收录coverage Science Citation Index Expanded (SCIE) Scopus (CiteScore)
Cite Score相关
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
SCI期刊投稿推荐
JCR分区相关期刊
中科院分区相关期刊
· IEEE TRANSACTIONS ON POWER DELIVERY
立即投稿
· Telecommunications Policy
立即投稿
· IEEE Internet of Things Journal
立即投稿
· Computers
立即投稿
· Computers and Electronics in Agriculture
立即投稿
· IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
立即投稿
· EAI Endorsed Transactions on Energy Web
立即投稿
· Macromolecular Symposia
立即投稿

推荐会议

【即将截稿!IEEE/ACM出版!EI稳检索】第六届现代化教育和信息管理国际学术会议(ICMEIM 2025)

EI,Scopus,IEEE Xplore, Google Scholar

【即将截稿!IEEE/ACM出版!EI稳检索】第六届现代化教育和信息管理国际学术会议(ICMEIM 2025)

中国·合肥市

会议时间:2025-09-19

截稿时间:2025-09-12

【IEEE出版| 中国科学技术大学主办】第五届人工智能、自动化与高性能计算国际会议  (AIAHPC 2025)

EI,Scopus,IEEE Xplore

【IEEE出版| 中国科学技术大学主办】第五届人工智能、自动化与高性能计算国际会议 (AIAHPC 2025)

中国·合肥市

会议时间:2025-09-19

截稿时间:2025-09-12

【IEEE出版|连续4届稳定EI检索|青岛大学主办】第五届电气工程与计算机技术国际学术会议(IC2ECT 2025)

EI,Scopus

【IEEE出版|连续4届稳定EI检索|青岛大学主办】第五届电气工程与计算机技术国际学术会议(IC2ECT 2025)

中国·青岛市

会议时间:2025-09-19

截稿时间:2025-09-12

【211高校主办 | 教育EI | 社科可投 | 往届均已EI检索】第二届教育人工智能国际学术会议(ISAIE 2025)

EI,Scopus

【211高校主办 | 教育EI | 社科可投 | 往届均已EI检索】第二届教育人工智能国际学术会议(ISAIE 2025)

中国·长沙市

会议时间:2025-09-19

截稿时间:2025-09-12

【重磅嘉宾汇报,东北大学主办,高录用】第十届机械制造技术与材料工程国际学术会议(MMTME 2025)

EI,Scopus

【重磅嘉宾汇报,东北大学主办,高录用】第十届机械制造技术与材料工程国际学术会议(MMTME 2025)

中国·沈阳市

会议时间:2025-09-19

截稿时间:2025-09-12

【稳定检索、往届已检索 |天津财经大学主办】第六届城市工程与管理科学国际会议(ICUEMS 2025)

EI,Scopus, Google Scholar

【稳定检索、往届已检索 |天津财经大学主办】第六届城市工程与管理科学国际会议(ICUEMS 2025)

中国·天津市

会议时间:2025-09-19

截稿时间:2025-09-12

【EI会议论文|IEEE出版】第五届人工智能与智能制造国际研讨会(AIIM 2025)

EI,Scopus,IEEE Xplore

【EI会议论文|IEEE出版】第五届人工智能与智能制造国际研讨会(AIIM 2025)

中国·成都市

会议时间:2025-09-19

截稿时间:2025-09-12

【IEEE出版,连续4届稳定EI检索】第五届能源、动力与电气工程国际学术会议(EPEE 2025)

IEEE Xplore,EI,Scopus,Inspec

【IEEE出版,连续4届稳定EI检索】第五届能源、动力与电气工程国际学术会议(EPEE 2025)

中国·杭州市

会议时间:2025-09-19

截稿时间:2025-09-12