THEORY AND PRACTICE OF LOGIC PROGRAMMING

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

THEOR PRACT LOG PROG期刊全称叫什么?

THEORY AND PRACTICE OF LOGIC PROGRAMMING影响因子是多少?