您要查找的是不是：
- In this paper, we propose to do property checking using constraint logic programming (CLP). 本文采用约束逻辑编程(Constraint Logic Programming,CLP)技术进行性质检验。
- 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. 癌症化疗用药规划模型是种多模的最佳化问题，其可行的解空间是由数个不连续的区空间所构成。
- I regard QSIM as a kind of constraint satisfaction problem (CSP), and improve the qualitative simulation algorithm by constraint logic programming (CLP). 前者是将定性仿真算法看作一类约束满足问题，用约束逻辑程序加以改进，不仅为解决定性仿真问题提供了逻辑框架，而且也是一种规范化的程序描述语言；
- 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研究如何构建与其相一致的逻辑程序，这些逻辑程序由有限一阶子句组成。
- This paper discusses how heuristic control information from logic program are get to improve the imcompleteness and inefficiency resulting from the control strategy in PROLOG language system. 本文论述从逻辑程序本身提取启发式控制信息,以克服由于逻辑语言系统中控制策略的机械性所带来的不完备性和低效性。
- 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. 人人“过去都知道”逻辑程序是承受不了最细小的改变的。
- The scientific logic program is a new research program of economic logics, which is different from the traditional program of applied form logic and the game program. 摘要科学逻辑纲领是经济学逻辑的一种新研究纲领，它既不同于传统的应用形式逻辑加语言逻辑纲领，也不同于博弈论纲领。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Logic and Inductive Logic Programming 逻辑与归纳逻辑程序设计
- A Framed Temporal Logic Programming Language 框架时序逻辑程序设计语言
- Approach to Constraint Inductive Logic Programming 约束归纳逻辑程序设计方法的研究
- A Study of Constraint Inductive Logic Programming 约束归纳逻辑程序设计的研究
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- Introduction to Inductive Logic Programming 归纳逻辑程序设计综述
- The main feature on the program is her song. 那个节目的主要号召物是她的歌。
