咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 计算机科学与技术...
  • 1 篇 理学

主题

  • 2 篇 default
  • 2 篇 defaults
  • 2 篇 of
  • 2 篇 compatible
  • 1 篇 default.
  • 1 篇 subset
  • 1 篇 extension
  • 1 篇 algorithm.
  • 1 篇 auto-incompatibl...
  • 1 篇 class
  • 1 篇 reasoning
  • 1 篇 by
  • 1 篇 sets
  • 1 篇 logic
  • 1 篇 theory
  • 1 篇 characterization
  • 1 篇 cases

机构

  • 1 篇 NOT FOUND
  • 1 篇 NOT FOUND
  • 1 篇 NOT FOUND
  • 1 篇 guizhou academy ...

作者

  • 2 篇 张明义
  • 1 篇 张丹

语言

  • 1 篇 英文
  • 1 篇 中文
检索条件"主题词=defaults"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
On Extensions of General Default Theories
收藏
分享
引用
Science China Mathematics 1993年 第10期36卷 1273-1280页
作者： 张明义 Guizhou Academy of Sciences Guiyang 550001 PRC
In this paper, some important results on the existence and uniqueness of extensions of general default theories are given, and the notion of compatible subset of defaults and that of auto-compatible default are introd... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
A framework for default logic with case reasoning
收藏
分享
引用
Science China(Technological Sciences) 1998年 第2期41卷 215-224页
作者： 张明义 张丹 1. Department of Computer Science Guizhou University 550025 Guiyang China 2. Guizhou Academy of Sciences 550001 Guiyang China 3. Department of Accounting Guizhou Financial and Economic University 550001 Guiyang China
Brewka’s framework for default logic is extended such that this new framework is possessed of more powerful expressivity when reasoning by cases. Under this extended framework a characterization of extensions of a de... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件