Theory And Practice Of Logic Programming

杂志介绍

Theory And Practice Of Logic Programming杂志介绍

《Theory And Practice Of Logic Programming》是一本以English为主的未开放获取国际优秀期刊，中文名称逻辑程序设计理论与实践，本刊主要出版、报道数学-LOGIC领域的研究动态以及在该领域取得的各方面的经验和科研成果，介绍该领域有关本专业的最新进展，探讨行业发展的思路和方法，以促进学术信息交流，提高行业发展。该刊已被国际权威数据库SCIE收录，为该领域相关学科的发展起到了良好的推动作用，也得到了本专业人员的广泛认可。该刊最新影响因子为1.4，最新CiteScore 指数为4.5。

英文介绍

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.