THEORY AND PRACTICE OF LOGIC PROGRAMMING

期刊基本信息

期刊名称：THEORY AND PRACTICE OF LOGIC PROGRAMMING

出版国家或地区：UNITED STATES

是否OA：No

期刊ISSN：1471-0684

期刊官方网站：http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1853452

通讯方式：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473

涉及的研究方向：工程技术-计算机：理论方法

出版周期：Bimonthly

期刊数据表：

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中文简介：

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

THEORY AND PRACTICE OF LOGIC PROGRAMMING在线问答：