THEORY AND PRACTICE OF LOGIC PROGRAMMING

简称：THEOR PRACT LOG PROG

ISSN：1471-0684

ESSN：1471-0684

所属分区：1区

出版地：UNITED STATES

出版周期：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.

IF值(影响因子)趋势图