國際簡稱:THEOR PRACT LOG PROG 參考譯名:邏輯程序設計理論與實踐
主要研究方向:工程技術-計算機:理論方法 非預警期刊 審稿周期: 12周,或約稿
《邏輯程序設計理論與實踐》(Theory And Practice Of Logic Programming)是一本由Cambridge University Press出版的以工程技術-計算機:理論方法為研究特色的國際期刊,發(fā)表該領域相關的原創(chuàng)研究文章、評論文章和綜述文章,及時報道該領域相關理論、實踐和應用學科的最新發(fā)現(xiàn),旨在促進該學科領域科學信息的快速交流。該期刊是一本未開放期刊,近三年沒有被列入預警名單。該期刊享有很高的科學聲譽,影響因子不斷增加,發(fā)行量也同樣高。
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 | SJR | SNIP | CiteScore 指數(shù) | ||||||||||||||||||||||||
4.5 | 0.95 | 1.734 |
|
名詞解釋:CiteScore 是衡量期刊所發(fā)表文獻的平均受引用次數(shù),是在 Scopus 中衡量期刊影響力的另一個指標。當年CiteScore 的計算依據(jù)是期刊最近4年(含計算年度)的被引次數(shù)除以該期刊近四年發(fā)表的文獻數(shù)。例如,2022年的 CiteScore 計算方法為:2022年的 CiteScore =2019-2022年收到的對2019-2022年發(fā)表的文件的引用數(shù)量÷2019-2022年發(fā)布的文獻數(shù)量 注:文獻類型包括:文章、評論、會議論文、書籍章節(jié)和數(shù)據(jù)論文。
Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
否 | 否 | 數(shù)學 | 2區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 | 2區(qū) 3區(qū) 3區(qū) |
Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
否 | 否 | 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 | 2區(qū) 3區(qū) 3區(qū) |
Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
否 | 否 | 計算機科學 | 4區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 | 3區(qū) 4區(qū) 4區(qū) |
Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
是 | 否 | 工程技術 | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 | 4區(qū) 4區(qū) 1區(qū) |
Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
否 | 否 | 計算機科學 | 4區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 | 3區(qū) 4區(qū) 4區(qū) |
Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
否 | 否 | 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 | 2區(qū) 3區(qū) 3區(qū) |
按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
學科:COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 88 / 131 |
33.2% |
學科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 77 / 143 |
46.5% |
學科:LOGIC | SCIE | Q1 | 1 / 25 |
98% |
按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
學科:COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q2 | 33 / 131 |
75.19% |
學科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q1 | 32 / 143 |
77.97% |
學科:LOGIC | SCIE | Q1 | 4 / 25 |
86% |
Journal Of Mathematical Study
中科院 4區(qū) JCR Q2
Fractal And Fractional
中科院 2區(qū) JCR Q1
Mathematics And Computers In Simulation
中科院 2區(qū) JCR Q1
Advances In Continuous And Discrete Models
中科院 2區(qū) JCR Q1
Statistics And Computing
中科院 2區(qū) JCR Q1
Electronic Journal Of Combinatorics
中科院 4區(qū) JCR Q2
Mathematical Methods In The Applied Sciences
中科院 3區(qū) JCR Q1
Southeast Asian Bulletin Of Mathematics
中科院 4區(qū) JCR Q4
若用戶需要出版服務,請聯(lián)系出版商:CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。