机构

• 软件研究所 [7]

采集方式

• OAI收割 [7]

内容类型

• 期刊论文 [6]
• 会议论文 [1]

发表日期

• 2012 [1]
• 2007 [1]
• 2005 [2]
• 2004 [1]
• 2003 [2]

学科主题

• Mathematic... [1]
• Science & ... [1]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 an approximate approach to belief revision 期刊论文  OAI收割 LOGIC JOURNAL OF THE IGPL, 2012, 卷号: 20, 期号: 2, 页码: 486-496 Luan Shangmin; Dai Guozhong; Magnani Lorenzo   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/17 Belief revision  approximate algorithm  integrity constraints  finite belief base   an algebraic approach to model-based diagnosis 会议论文  OAI收割 International Conference on Model-Based Reasoning in Science and Medicine, Guangzhou, PEOPLES R CHINA, JUL 03-05, Luan Shangmin; Magnani Lorenzo; Dai Guozhong   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/06/29 利用结构信息的故障诊断方法 期刊论文  OAI收割 计算机学报, 2005, 卷号: 28, 期号: 5, 页码: 801-808 栾尚敏; 戴国忠   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/06/01 故障诊断  诊断集  极小冲突集  算法  时间复杂性   知识库更新的一种可编程实现的方法 期刊论文  OAI收割 中国科学E辑, 2005, 卷号: 35, 期号: 8, 页码: 785-797 栾尚敏; 戴国忠; 李未   |  收藏  |  浏览/下载：13/0  |  提交时间：2010/06/01 知识库  知识库更新  子句  规则   信念修正的实现方法 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31, 期号: 12, 页码: 100-102,109 栾尚敏; 戴国忠   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/06/01 信念  修正  算法   有限信念集上修正的一种方法 期刊论文  OAI收割 软件学报, 2003, 卷号: 14, 期号: 5, 页码: 911-917 栾尚敏; 戴国忠   |  收藏  |  浏览/下载：6/0  |  提交时间：2010/06/01 信念修正  命题逻辑  一阶逻辑  有限信息集   交互技术在手写公式编辑中的应用 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2003, 卷号: 15, 期号: 11, 页码: 1437-1442,1461 冯海波; 田丰; 栾尚敏; 戴国忠   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/06/01 笔式用户界面  人机交互  联机手写数学公式识别  上下文感知