Journal Title：Theory And Practice Of Logic Programming

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.

逻辑程序设计理论与实践强调逻辑程序设计的理论与实践。逻辑编程适用于人工智能和计算机科学的所有领域，是它们的基础。涵盖的主题包括使用逻辑编程的人工智能应用程序、逻辑编程方法、规范、系统分析和验证、归纳逻辑编程、多关系数据挖掘、自然语言处理、知识表示、非单调推理、语义网推理、数据库、实现和架构以及约束逻辑编程。

Theory And Practice Of Logic Programming创刊于2001年，由CAMBRIDGE UNIV PRESS出版商出版，收稿方向涵盖工程技术 - 计算机：理论方法全领域，此刊是中等级别的SCI期刊，所以过审相对来讲不是特别难，但是该刊专业认可度不错，仍然是一本值得选择的SCI期刊 。平均审稿速度>12周，或约稿，影响因子指数1.400，该期刊近期没有被列入国际期刊预警名单，广大学者值得一试。

大类学科	小类学科	分区	Top期刊	综述期刊
计算机科学	LOGIC 逻辑学 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	3区	是	是

名词解释：
中科院分区也叫中科院JCR分区，基础版分为13个大类学科，然后按照各类期刊影响因子分别将每个类别分为四个区， 影响因子5%为1区，6%-20%为2区，21%-50%为3区，其余为4区。

大类学科	小类学科	分区
计算机科学	LOGIC 逻辑学 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	3区

名词解释：
JCR没有设置大类，只分为176个具体学科，按当期（1年）的影响因子进行分区；JCR是按照“平均主义”思想， 根据刊物IF的高至低平均划分4个区，每个区含有该领域总量25%的期刊。中科院的分区如同社会阶层的金字塔结构，1区只有5%的顶级期刊， 2~4区期刊数量也逐层增加,所以中科院的1区和2区杂志很少，杂志质量相对也高，基本都是本领域的顶级期刊。

期刊名称	领域	中科院分区	影响因子
Cryptography And Communications-discrete-structures Boolean Functions And Sequen	计算机科学	3区	1.291
User Modeling And User-adapted Interaction	计算机科学	3区	3.600
Journal On Multimodal User Interfaces	计算机科学	3区	2.900
Formal Aspects Of Computing	计算机科学	3区	1.000
International Journal Of High Performance Computing Applications	计算机科学	3区	3.100
International Journal Of High Performance Computing Applications	计算机科学	3区	3.100