This paper presents a new approach to the program of updating logic programs,based on a logic-based framework for standardizing updating knowledge bases-revision programming.
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。
The order of voting effect for the amendment procedure and the successive procedures in the following two cases are studied.
对修正案表决程序和顺序表决程序在相互偏好信息完全不知和相互偏好信息完全已知这两种情况下的投票次序效应进行了研究 ,分析了具有不同偏好的投票人在不同偏好信息假设下的投票策略 ,给出了修正案表决程序和顺序表决程序的选择结果与偏好结构之间相互关
Some Basic Results of Extended Revision Programs;
扩充修正程序的一些基本结果(英文)
Probe into Realization of Second Modification Program for Inclined Angle of Cables in Cable-stayed Bridge and Related Problems
斜拉桥拉索倾角2次修正程序实现及相关问题探讨
The lord chancellor has proposed a revision of the porce procedures .
大法官建议修正离婚程序。
On Revision of Procedural Retrial Matter in Civil Procedure Amendment Bill;
论民事诉讼法修正案中程序性再审事由的修订
Please wait while setup fixes up the Document Management workspaces
请稍候，安装程序正在修正文档管理工作区
User errors may not be your application’s fault, but they are its responsibility. How are you going to fix them?
用户的错误不是程序的错误，但是这是程序的责任，你该如何修正它？
Commentary on the Modification Draft of Civil Litigation Law;
民事再审程序的修订:问题与探索——兼评《修正案(草案)》对再审程序的修订
A BRIEF INTRODUCTION ABOUT AEROMAGNETIC PROFILE FITTING PROGRAM WITH MODIFIABLE MODEL USING SIMULATION LIGHT PEN
拟光笔修改模型的航磁剖面正演拟合程序简介
Please wait while Hotfix Installer applies the patch. This may take a few minutes.
请稍候，热修复安装程序正在应用修补程序。这可能要花费几分钟时间。
CHAPTER VI PROCEDURAL DUE PROCESS
第六章 程序性正当程序
Write and maintain documentation to describe program development, logic, coding, testing, changes, and corrections.
记录和修正用来记述程序进程,逻辑性,译码,测试,更改以及修正的文件.
Pertaining to a program or job that interrupts regular ( or lower priority ) processing.
用于修饰或描述程序或作业,它中断正常的(或低优先级的)处理过程。
(9) Procedures for amending the articles of association.
（九）章程修改的程序。
Setup is modifying your programs so they start faster. This might take several minutes.
安装程序正修改程序以使其启动更快。此过程大概要花几分钟的时间。
static situation
静态 -程序的正文
Such an amendment, once the Parties have concurred in accordance with the procedures established by the Committee, shall not enter into force for any Party until it has been accepted by such Party.
一旦本协定参加方依照委员会制定的程序同意此种修正，即应只对已接受修正的参加方生效。
Drive %1 contains errors that must be corrected before the drive can be compressed. To correct them, run ScanDisk.
驱动器 %1 有问题，必须先修正才能压缩。要修正错误，请运行“磁盘扫描程序”。
'Detect and Repair...' will automatically find and fix errors in this application.
“检测与修复...”功能可自动查找并更正这项应用程序中的错误。
ScanDisk repairs the boot area by recording the correct values in this area.
磁盘扫描程序会记录这个区域正确的值，修复启动区。