机构

• 软件研究所 [9]
• 长春光学精密机械与物... [1]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [7]
• 会议论文 [3]

发表日期

• 2011 [4]
• 2010 [1]
• 2006 [3]
• 2003 [2]

学科主题

• Computer S... [4]
• Theory & M... [3]
• Computer S... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 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. 收藏  |  浏览/下载：18/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.   decidable temporal dynamic description logic 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 7, 页码: 1524-1537 Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng   |  收藏  |  浏览/下载：35/0  |  提交时间：2013/10/08 Algorithms  Computability and decidability  Data description  Formal languages  Knowledge representation  Semantic Web  Semantics  User interfaces   cupping and diamond embeddings: a unifying approach 会议论文  OAI收割 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02 Fang Chengling; Liu Jiang; Wu Guohua 收藏  |  浏览/下载：25/0  |  提交时间：2011/10/10 C (programming language)  Computability and decidability   determinacy and rewriting of conjunctive queries over unary database schemas 会议论文  OAI收割 26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, Taiwan, March 21, Zheng Lixiao; Chen Haiming   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/10/10 Computability and decidability  Information management  Information theory  Query processing   基于属性的远程证明模型 期刊论文  OAI收割 通信学报, 2010, 卷号: 31, 期号: 8, 页码: 40551 于爱民; 冯登国; 汪丹   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/05/23 基于属性的远程证明  信任图  可信策略  可判定性property based remote attestation  trust graph  trusted policy  decidability   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/13 minimal logic  system F  sequent calculus  positive quantifier  bound variable  decidability   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/13 minimal logic  system F  sequent calculus  positive quantifier  bound variable  decidability   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/13 minimal logic  system F  sequent calculus  positive quantifier  bound variable  decidability   on decidability and model checking for a first order modal logic for value-passing processes 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003, 卷号: 46, 期号: 1, 页码: 45-59 Xue R; Lin HM   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/29 first order modal logic  decidability  model checking  value-passing processes   on decidability and model checking for a first order modal logic for value-passing processes 期刊论文  OAI收割 Science in China Series F: Information Sciences, 2003, 卷号: 46, 期号: 1, 页码: 45-59 Rui Xue; Lin Huimin   |  收藏  |  浏览/下载：13/0  |  提交时间：2010/08/24 first order modal logic  decidability  model checking  value-passing processes