机构

• 软件研究所 [4]
• 计算技术研究所 [1]
• 长春光学精密机械与物... [1]

采集方式

• OAI收割 [6]

内容类型

• 期刊论文 [4]
• 会议论文 [2]

发表日期

• 2016 [1]
• 2014 [1]
• 2011 [2]
• 2010 [1]
• 2006 [1]

学科主题

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 A Model for Phase Transition of Random Answer-Set Programs 期刊论文  OAI收割 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 卷号: 17, 期号: 3 Wen, L; Wang, KW; Shen, YD; Lin, FZ   |  收藏  |  浏览/下载：21/0  |  提交时间：2016/12/09 Answer sets  random logic programs  phase transition   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)   |  收藏  |  浏览/下载：25/0  |  提交时间：2014/12/16 Answer set programming  Knowledge representation  Nonmonotonic reasoning  Logic programs with first-order formulas  Level mappings  Circular justifications   A hybrid system combining intuitionistic fuzzy description logics with intuitionistic fuzzy logic programs (EI CONFERENCE) 会议论文  OAI收割 2011 8th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th International Conference on Natural Computation, ICNC'11, July 26, 2011 - July 28, 2011, Shanghai, China 作者:  Sun T.;  Shi L. 收藏  |  浏览/下载：13/0  |  提交时间：2013/03/25 In this paper  we present a novel combination of intuitionistic fuzzy Description Logics with intuitionistic fuzzy logic programs  which yields a more realistic and intelligent hybrid system  whitch offers the best of both aspects: the extension of Description Logics with intuitionistic fuzzy sets are suitable for describing vague and imprecise concepts in a given domain  on the other hand  inuitionistic fuzzy logic programs suffice for rules with vague atoms. We show that the new formalism remains faithful to both individual intuitionistic fuzzy components  and we provide the decidability and complexity of the framework under some suitable assumptions. 2011 IEEE.   the loop formula based semantics of description logic programs 期刊论文  OAI收割 Theoretical Computer Science, 2011, 卷号: 415, 页码: - Yisong Wang; Jia-Huai You; Li Yan Yuan; Yi-Dong Shen; Mingyi Zhang   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/10/08 Semantic web  Answer sets  Description logic programs  Loop formulas   loop formulas for description logic programs 会议论文  OAI收割 26th International Conference on Logic Programming, Edinburgh, SCOTLAND, JUL 16-19, Wang Yisong; You Jia-Huai; Yuan Li Yan; Shen Yi-Dong   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/03/31 semantic web  description logic programs  answer sets  loop formulas   A tree construction of the preferable answer sets for prioritized basic disjunctive logic programs 期刊论文  OAI收割 THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 588-600 作者:  Zhang, Zaiyue;  Sui, Yuefei;  Cao, Cungen   |  收藏  |  浏览/下载：8/0  |  提交时间：2019/12/16 logic programs  double priority  tree method