施工进度计划是施工管理和施工过程重要的参考依据.现有的公路施工季度计划相关研究工作主要基于工程案例或施工计划模板等方式,无......

该文介绍了约束逻辑程序设计的发展现状,讨论了有穷论域约束逻辑程序设计中所采用的各种技术,包括约束建模、搜索控制以及优化等,......

约束推理机是约束逻辑程序设计的核心部分,它包含有变量组、临时容器、约束过滤器和推理引擎,与分支策略、探索策略和节点回溯策略......

以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解......

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即......

约束推理是人工智能中主要组成部分之一，可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和......

描述了一个优化的约束逻辑程序设计（ＣＬＰ）系统的编译方法和编译优化策略。该系统是一个多重论域的ＣＬＰ系统，以区间算术和约束传播作为离散域和......

描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略，并通过定义新的数据结构，采用多种优化策略，使该系统能够......

介绍了数据库研究的一个新领域——约束数据库.简要总结了约束数据库定义、建模能力、查询语言、索引技术等方面的研究和进一步的......

该文涉及的约束逻辑程序设计(CIP)是一在二叉树上进行搜索的过程，提高搜索效率是CIP的主要研究方向之一。在CIP中约束推理机是核心，......

以本实验室研制的约束逻辑程序设计系统BPU－CLP为基础，研制了一个适用于中学数学，面向学生的智能教学系统BPU－ITS－Math。介绍了BPU－ITS－Ma......

课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法，结合课程安排自身的特点．通过约束推理找到最优的......