您要查找的是不是：
- extended logic programming 扩充逻辑程序设计
- extended logic programs 扩展逻辑程序
- 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. 这就是为什么几乎所有的商业游戏都有自己的文件格式和背后的自定义逻辑代码。
- The gymnast extended her arms horizontally. 那女子体操运动员双臂平伸。
- Everyone "knew" that logic programs were brittle and unforgiving of the slightest alteration. 人人“过去都知道”逻辑程序是承受不了最细小的改变的。
- It is a barbarous way to extend territory by arms. 以武力扩张领土是一种野蛮的方式。
- XLRI eXtended Logical Record Interface 扩展的逻辑记录接口
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- She warmly extended both hands towards us. 她热情地向我们伸出了双手。
- They extended the Queen a warm welcome. 他们热烈欢迎女王。
- 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. 摘要科学逻辑纲领是经济学逻辑的一种新研究纲领，它既不同于传统的应用形式逻辑加语言逻辑纲领，也不同于博弈论纲领。
