论文部分内容阅读
Brewka 为缺省逻辑的框架被扩大以便当由盒子推理时，这个新框架具有更强大的善於表达。在这个扩大框架下面，一个缺省理论的延期的描述被给。从这描述，为在有大小写推理的缺省逻辑的主要推理任务的算法被导出。
A framework for default logic with case reasoning
【摘 要】
：
Brewka 为缺省逻辑的框架被扩大以便当由盒子推理时，这个新框架具有更强大的善於表达。在这个扩大框架下面，一个缺省理论的延期的描述被给。从这描述，为在有大小写推理的缺省逻
【机 构】
：
1.DepartmentofComputerScience,2.GuizhouAcademyofSciences,3.DepartmentofAccounting
【出 处】
：
中国科学：技术科学英文版
【发表日期】
：
1998年2期
【基金项目】
：
ProjectsupportedbytheNational 86 3Hi TechProgramandtheScienceFoundationofGuizhouProvince
其他文献
Austempering ductile iron (ADI) is an attractive material due to its excellent comprehensive mechanical properties. However, the deficit in elongation and tough
In this present work,Pb was applied in the Mg97Zn1Y2 alloy to improve its microstructure and properties,using conventional casting methods.The microstructure an
A new selection mechanism termed global annealing selection (GAnS) is proposed for the genetic algorithm. It is proved that the GAnS genetic algorithm converges
Influence of thermal exposure on microstructure and stress rupture properties of a new Re-containing
在这研究，长期的热微结构稳定性和相关压力破裂新重新包含的基于 Ni 的单个水晶的 superalloy 生活， DD11，为时间的不同长度在高温度的暴露以后被调查。结果证明 precipitates
期刊
Effect of mixing rate and temperature on primary Si phase of hypereutectic Al-20Si alloy during cont
Controlled Diffusion Solidification(CDS) is a promising process relied on mixing two liquid alloys of precisely controlled chemistry and temperature in order to
期刊
Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization i
It is proved that the existence,uniqueness,and stability of the solution of the elastic system were caused by the slender flying vehicle.
A low carbon steel(LCS)/high chromium white cast iron(HCCI) bimetal wear plate about 20 mm in thickness was prepared by liquid-liquid bimetal composite casting
期刊