机构

• 软件研究所 [26]

采集方式

• OAI收割 [26]

内容类型

• 期刊论文 [16]
• 会议论文 [5]
• 学位论文 [5]

发表日期

• 2016 [2]
• 2015 [1]
• 2014 [1]
• 2013 [1]
• 2012 [1]
• 2011 [11]
• 更多

学科主题

• Artificial... [1]
• Computer S... [1]
• Computer S... [1]
• Electrical... [1]
• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共26条，第1-10条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序题名升序题名降序作者升序作者降序发表日期升序发表日期降序 Evaluating epistemic negation in answer set programming 期刊论文  OAI收割 ARTIFICIAL INTELLIGENCE, 2016, 卷号: 237, 页码: 115-135 Shen, YD; Eiter, T   |  收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09 Answer set programming  Epistemic negation  Semantics   基于Pushdown系统证明的可视化 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 周青   |  收藏  |  浏览/下载：21/0  |  提交时间：2016/06/21 deductive reasoning  formal verification  alternating pushdown system  infinite state systems   A Framework to Normalize Ontology Representation for Stable Measurement 期刊论文  OAI收割 JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2015, 卷号: 15, 期号: 4 Ma, YL; Wang, CL; Jin, BH   |  收藏  |  浏览/下载：9/0  |  提交时间：2016/12/13 FLP answer set semantics without circular justifications for general logic programs 期刊论文  OAI收割 Artificial Intelligence, 2014, 卷号: 213, 页码: 1-41 Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)   |  收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16 Answer set programming  Knowledge representation  Nonmonotonic reasoning  Logic programs with first-order formulas  Level mappings  Circular justifications   Weight-based consistent query answering over inconsistent knowledge bases 期刊论文  OAI收割 KNOWLEDGE AND INFORMATION SYSTEMS, 2013, 卷号: 34, 期号: 2, 页码: 335-371 Du, Jianfeng; Qi, Guilin; Shen, Yi-Dong   |  收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Semantic Web  Description logics  Query answering  Inconsistency-tolerant reasoning  Weight-based semantics   probabilistic multi-context systems 会议论文  OAI收割 Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011 Sotomayor Marco; Wang Kewen; Shen Yidong; Thornton John   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/09/22 Artificial intelligence   基于主动规则推理的故障诊断系统设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2011 李欣   |  收藏  |  浏览/下载：8/0  |  提交时间：2011/06/07 故障诊断  故障模型  主动规则推理  专家系统   基于医学知识库的可视化诊疗服务技术 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2011 王子璐   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/06/07 计算机应用::计算机决策支持系统  可视分析  人机交互  可视化推理  医学知识库   基于过程资产库挖掘的过程Agent自动创建方法 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2011 黄辉   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/06/08 计算机软件::软件工程   extending fuzzy soft sets with fuzzy description logics 期刊论文  OAI收割 Knowledge-Based Systems, 2011, 卷号: 24, 期号: 7, 页码: 1096-1107 Jiang Yuncheng; Tang Yong; Chen Qimai; Liu Hai; Tang Jianchao   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10 Data description  Formal languages  Knowledge representation