您要查找的是不是：
- In this paper, we propose to do property checking using constraint logic programming (CLP). 本文采用约束逻辑编程(Constraint Logic Programming,CLP)技术进行性质检验。
- I regard QSIM as a kind of constraint satisfaction problem (CSP), and improve the qualitative simulation algorithm by constraint logic programming (CLP). 前者是将定性仿真算法看作一类约束满足问题，用约束逻辑程序加以改进，不仅为解决定性仿真问题提供了逻辑框架，而且也是一种规范化的程序描述语言；
- Verilog constraint logic programming Verilog约束逻辑编程
- Flexible scheduling based on constraint logic programming and genetic algorithms 基于约束逻辑规划和遗传算法的柔性调度
- Constraint Logic Programming 约束逻辑程序
- Constraint programming especially constraint logic pro gr amming(CLP)and concurrent constraint programming(CCP)is becoming more and more important in the field of AI programming. 约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。
- Approach to Constraint Inductive Logic Programming 约束归纳逻辑程序设计方法的研究
- A Study of Constraint Inductive Logic Programming 约束归纳逻辑程序设计的研究
- Abductive logic programming is a computational framework that extends normal logic programming with abduction. 溯因的这种用法不是直接的，因为向其他命题公式集增加命题公式只能使矛盾更糟糕。
- The paper discusses the application of relay ladder logic programming softwareand network features about ALLEN-BRADLEY SLC500 series PLC. 本文讨论了A－B公司SLC系列PLC的梯型图编程软件的使用及其网络功能。
- Translates security policy into a prioritized logic program,and then computes its semantics. 先将安全策略用一个优先逻辑程序表示,然后计算其语义。
- The hardware configuration of TRICON system，logic programming，the man-machine interface，and the system commissioning are introduced emphatically. 摘要：针对广州石化乙烯装置原来的SIS系统存在的问题，应用TRICON系统对其进行了改造，本文重点介绍TRICON系统的硬件组态、逻辑编程、人机界面组态和系统调试等各方面的技术实现。实际应用表明，TRICON系统全面克服了旧系统中存在的各种缺点，确保了装置的安全运行。
- This thesis presents a novel use of Inductive Logic Programming (ILP) for the extraction of knowledge from a large set of job shop schedules. 癌症化疗用药规划模型是种多模的最佳化问题，其可行的解空间是由数个不连续的区空间所构成。
- Distributed Parallelized Constraint Inductive Logic Programming 分布式并行约束归纳逻辑程序设计研究
- This is the reason why almost every commercial game has its own file formats and custom logic programmed behind it. 这就是为什么几乎所有的商业游戏都有自己的文件格式和背后的自定义逻辑代码。
- Everyone "knew" that logic programs were brittle and unforgiving of the slightest alteration. 人人“过去都知道”逻辑程序是承受不了最细小的改变的。
- Inductive Logic Programming (ILP) is an important branch of machine learning.Given a set of examples and background knowledge, ILP studies how to construct a logic program consistent with these data. 摘要 归纳逻辑程序设计（ILP）是机器学习的一个重要分支，给定一个样例集和相关背景知识，ILP研究如何构建与其相一致的逻辑程序，这些逻辑程序由有限一阶子句组成。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Soon tired of the constraint of military life. 很快厌倦了军事生活的约束
- Application of Logic Programming in Relation Database Data Integrity Constraint 逻辑程序在关系数据库完整性约束中的应用
