【摘 要】
：
In the previous paper, some important properties of extensions of general default theories were given. In order to further explore default logic, a characteriza
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
In the previous paper, some important properties of extensions of general default theories were given. In order to further explore default logic, a characterization of extensions is presented. And a class of defaults, so-called Auto-compatible Default Theory, is also iotroduced. All these essentially develop the theories of Reiter and his followers.
In the previous to the paper, some important properties of extensions of general default theories were given. In order to further explore default logic, a characterization of extensions is presented. And a class of defaults, so-called Auto-compatible Default Theory, is also iotroduced All these essentially develop the theories of Reiter and his followers.
其他文献
电视新闻节目一经播出将无法修改。因此在播出前如何对稿件进行修改、再创造显得十分重要。笔者从四个方面分析电视新闻节目编辑对稿件的再创造,以期对电视新闻节目编辑有所
目的： 微小RNA-21(miR-21)也被认为一种致癌微核糖核酸。越来越多的研究报道近年来RNA-21和乳腺癌患者的生存之间存在关系，但其结论是有争议的。因此，有必要进一步确认在早期
目的: 比较结直肠癌常用化疗药物（5-FU、伊立替康、奥沙利铂）致荷瘤小鼠肝损伤的病理分型及严重程度。 材料与方法: C57/BL小鼠接种Lewis肺癌细胞后第10天分别腹腔注
微贷网CEO姚宏表示,微贷网将继续深耕汽车金融业务,并在个人房产抵押、个人信用贷款、消费金融和供应链金融几个方向发力。5月20日,国内首家专注于汽车抵押借贷服务的网贷平
目的： 白血病是当今世界上最常见的恶性肿瘤之一，严重的威胁了人类的健康和生命。目前我国白血病的发病率也正在持续上升。因此，白血病的治疗已成为当前备受关注的热点话题之
目的： 研究初发1型糖尿病（type1diabetesmellitus，T1DM）患儿外周血叉状头转录因子(Foxheadtranscriptionfactor3，FOXP3)和细胞毒T淋巴细胞相关抗原-4（cytotoxicT-lymphocyteanti
随着网络科技的迅猛发展,传统媒体受到了很大的挑战,特别是一些网络媒体、个人微博、论坛等新媒体的出现,传统媒体所面临的压力就更大,发展空间也越来越受到限制,因此,地方媒
本文以四川省房地产业为例,以四川省2007年投入产出表为数据依据,研究了四川省的产业关联以及波及效应,从相关研究数据分析说明:(1)四川省房地产业对第二产业、居民服务和其
目的: 探讨延边地区朝鲜族、汉族人群之间冠心病的危险因素、病变程度，以及内皮型一氧化氮合酶(eNOS)/一氧化氮(NO)在患者血浆中水平差异的分子机制。 方法: (1)将入
文章介绍了首尔市民福利标准制定的背景、原则与框架以及主要项目。指出首尔市民福利标准制定有助于推动韩国向普遍性福利国家前进,并值得亚洲主要发展中国家的大城市在扩充