逻辑程序设计理论与实践 SCIE

期刊简介预计审稿时间： 12周，或约稿

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》(逻辑程序设计理论与实践)编辑部通讯方式为CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。