首頁 > SCI期刊 > SCIE期刊 > 數(shù)學 > 中科院2區(qū) > JCRQ1 > 期刊介紹
評價信息：
影響因子：1.4
年發(fā)文量：34
《邏輯程序設計理論與實踐》(Theory And Practice Of Logic Programming)是一本以工程技術-計算機：理論方法綜合研究為特色的國際期刊。該刊由Cambridge University Press出版商創(chuàng)刊于2001年，刊期Bimonthly。該刊已被國際重要權威數(shù)據(jù)庫SCIE收錄。期刊聚焦工程技術-計算機：理論方法領域的重點研究和前沿進展，及時刊載和報道該領域的研究成果，致力于成為該領域同行進行快速學術交流的信息窗口與平臺。該刊2023年影響因子為1.4。CiteScore指數(shù)值為4.5。
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.
《邏輯編程理論與實踐》強調邏輯編程的理論和實踐。邏輯編程適用于人工智能和計算機科學的所有領域，是它們的基礎。涵蓋的主題包括使用邏輯編程的人工智能應用、邏輯編程方法、系統(tǒng)的規(guī)范、分析和驗證、歸納邏輯編程、多關系數(shù)據(jù)挖掘、自然語言處理、知識表示、非單調推理、語義網(wǎng)推理、數(shù)據(jù)庫、實現(xiàn)和架構以及約束邏輯編程。
《Theory And Practice Of Logic Programming》(邏輯程序設計理論與實踐)編輯部通訊方式為CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。如果您需要協(xié)助投稿或潤稿服務，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務十年，熟悉發(fā)表政策，可為您提供一對一投稿指導，避免您在投稿時頻繁碰壁，節(jié)省您的寶貴時間，有效提升發(fā)表機率，確保SCI檢索（檢索不了全額退款）。我們視信譽為生命，多方面確保文章安全保密，在任何情況下都不會泄露您的個人信息或稿件內容。
2023年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學 | 2區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) 3區(qū) | 否 | 否 |
2022年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) 3區(qū) | 否 | 否 |
2021年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 3區(qū) 4區(qū) 4區(qū) | 否 | 否 |
2021年12月基礎版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術 | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區(qū) 4區(qū) 1區(qū) | 是 | 否 |
2021年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 3區(qū) 4區(qū) 4區(qū) | 否 | 否 |
2020年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) 3區(qū) | 否 | 否 |
基礎版：即2019年12月17日，正式發(fā)布的《2019年中國科學院文獻情報中心期刊分區(qū)表》；將JCR中所有期刊分為13個大類,期刊范圍只有SCI期刊。
升級版：即2020年1月13日，正式發(fā)布的《2019年中國科學院文獻情報中心期刊分區(qū)表升級版（試行）》,升級版采用了改進后的指標方法體系對基礎版的延續(xù)和改進，影響因子不再是分區(qū)的唯一或者決定性因素，也沒有了分區(qū)的IF閾值期刊由基礎版的13個學科擴展至18個，科研評價將更加明確。期刊范圍有SCI期刊、SSCI期刊。從2022年開始，分區(qū)表將只發(fā)布升級版結果，不再有基礎版和升級版之分,基礎版和升級版（試行）將過渡共存三年時間。
JCR分區(qū)等級：Q1
| 按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% |
| Gold OA文章占比 | 研究類文章占比 | 文章自引率 |
| 46.51% | 100.00% | 0.21... |
| 開源占比 | 出版國人文章占比 | OA被引用占比 |
| 0.35... | -- | 0.05... |
名詞解釋：JCR分區(qū)在學術期刊評價、科研成果展示、科研方向引導以及學術交流與合作等方面都具有重要的價值。通過對期刊影響因子的精確計算和細致劃分，JCR分區(qū)能夠清晰地反映出不同期刊在同一學科領域內的相對位置，從而幫助科研人員準確識別出高質量的學術期刊。
| CiteScore | SJR | SNIP | CiteScore 指數(shù) | ||||||||||||||||||||||||
| 4.5 | 0.95 | 1.734 |
|
名詞解釋：CiteScore是基于Scopus數(shù)據(jù)庫的全新期刊評價體系。CiteScore 2021 的計算方式是期刊最近4年（含計算年度）的被引次數(shù)除以該期刊近四年發(fā)表的文獻數(shù)。CiteScore基于全球最廣泛的摘要和引文數(shù)據(jù)庫Scopus，適用于所有連續(xù)出版物，而不僅僅是期刊。目前CiteScore 收錄了超過 26000 種期刊，比獲得影響因子的期刊多13000種。被各界人士認為是影響因子最有力的競爭對手。
歷年中科院分區(qū)趨勢圖
歷年IF值(影響因子)
歷年引文指標和發(fā)文量
歷年自引數(shù)據(jù)
2019-2021年國家/地區(qū)發(fā)文量統(tǒng)計
| 國家/地區(qū) | 數(shù)量 |
| Italy | 44 |
| USA | 32 |
| GERMANY (FED REP GER) | 24 |
| Spain | 22 |
| Austria | 16 |
| France | 11 |
| Australia | 7 |
| England | 6 |
| Turkey | 6 |
| Scotland | 4 |
2019-2021年機構發(fā)文量統(tǒng)計
| 機構 | 數(shù)量 |
| UNIVERSITY OF CALABRIA | 27 |
| UNIVERSITY OF POTSDAM | 13 |
| TECHNISCHE UNIVERSITAT WIEN | 12 |
| UNIVERSITY OF GENOA | 10 |
| UNIVERSITY OF KLAGENFURT | 8 |
| IMDEA SOFTWARE INST | 7 |
| COMPLUTENSE UNIVERSITY OF MADRID | 6 |
| UNIVERSIDAD POLITECNICA DE MADRID | 6 |
| UNIVERSIDADE DA CORUNA | 6 |
| ARIZONA STATE UNIVERSITY | 5 |
2019-2021年文章引用數(shù)據(jù)
| 文章引用名稱 | 引用次數(shù) |
| Multi-shot ASP solving with clingo | 7 |
| A Trajectory Calculus for Qualitative Sp... | 4 |
| Founded (Auto) Epistemic Equilibrium Log... | 3 |
| Exploiting Answer Set Programming with E... | 3 |
| Optimizing Answer Set Computation via He... | 2 |
| Shared aggregate sets in answer set prog... | 2 |
| Temporal Answer Set Programming on Finit... | 2 |
| Phylotastic: An Experiment in Creating, ... | 2 |
| A Distributed Approach to LARS Stream Re... | 2 |
| Incremental Answer Set Programming with ... | 2 |
2019-2021年文章被引用數(shù)據(jù)
| 被引用期刊名稱 | 數(shù)量 |
| THEOR PRACT LOG PROG | 161 |
| ARTIF INTELL | 42 |
| J ARTIF INTELL RES | 24 |
| ANN MATH ARTIF INTEL | 20 |
| FUND INFORM | 19 |
| INT J APPROX REASON | 15 |
| MACH LEARN | 8 |
| J INTELL MANUF | 5 |
| AUTON ROBOT | 4 |
| CONCURR COMP-PRACT E | 4 |
2019-2021年引用數(shù)據(jù)
| 引用期刊名稱 | 數(shù)量 |
| THEOR PRACT LOG PROG | 161 |
| ARTIF INTELL | 101 |
| COMMUN ACM | 24 |
| NEW GENERAT COMPUT | 23 |
| ANN MATH ARTIF INTEL | 22 |
| J ACM | 21 |
| J LOGIC COMPUT | 20 |
| ACM T COMPUT LOG | 19 |
| J ARTIF INTELL RES | 19 |
| FUND INFORM | 15 |
中科院分區(qū)：1區(qū)
影響因子：7.7
審稿周期：約Time to first decision: 9 days; Review time: 64 days; Submission to acceptance: 82 days; 約2.7個月 約7.8周
中科院分區(qū)：1區(qū)
影響因子：8.1
審稿周期：約Time to first decision: 6 days; Review time: 44 days; Submission to acceptance: 54 days; 約4.1個月 約6.8周
中科院分區(qū)：3區(qū)
影響因子：3.3
審稿周期：約17.72天 11 Weeks
中科院分區(qū)：1區(qū)
影響因子：98.4
審稿周期： 約3月
中科院分區(qū)：2區(qū)
影響因子：5.8
審稿周期： 約2.4個月 約7.6周
中科院分區(qū)：2區(qū)
影響因子：5.1
審稿周期： 約1.9個月 約2.7周
若用戶需要出版服務，請聯(lián)系出版商：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。
