中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [20]
沈阳自动化研究所 [2]
中国科学院大学 [1]
采集方式
OAI收割 [22]
iSwitch采集 [1]
内容类型
期刊论文 [15]
会议论文 [8]
发表日期
2014 [1]
2012 [3]
2011 [6]
2010 [2]
2009 [1]
2007 [4]
更多
学科主题
Computer S... [1]
Computer S... [1]
筛选
浏览/检索结果:
共23条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
Task description logic based on temporal constrain net
会议论文
OAI收割
Wuhan, China, June 28-29, 2014
作者:
Yu C(余岑)
  |  
收藏
  |  
towards practical abox abduction in large description logic ontologies
期刊论文
OAI收割
International Journal on Semantic Web and Information Systems, 2012, 卷号: 8, 期号: 2, 页码: 1-33
Du Jianfeng
;
Qi Guilin
;
Shen Yi-Dong
;
Pan Jeff Z.
  |  
收藏
  |  
a new matchmaking approach based on abductive conjunctive query answering
会议论文
OAI收割
Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011
Du Jianfeng
;
Wang Shuai
;
Qi Guilin
;
Pan Jeff Z.
;
Hu Yong
  |  
收藏
  |  
Hierarchy organization model based on the logic of tasks
会议论文
OAI收割
Shijiazhuang, Hebei, China, October 26-28, 2012
作者:
Yu C(余岑)
  |  
收藏
  |  
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
  |  
收藏
  |  
characterizations of one-way general quantum finite automata
期刊论文
OAI收割
Theoretical Computer Science, 2011, 卷号: 419, 页码: -
Lvzhou Li
;
Daowen Qiu
;
Xiangfu Zou
;
Lvjun Li
;
Lihua Wu
;
Paulo Mateus
  |  
收藏
  |  
reasoning and change management in modular fuzzy ontologies
期刊论文
OAI收割
Expert Systems with Applications, 2011, 卷号: 38, 期号: 11, 页码: 13975-13986
Jiang Yuncheng
;
Tang Yong
;
Chen Qimai
;
Wang Ju
  |  
收藏
  |  
semantic operations of multiple soft sets under conflict
期刊论文
OAI收割
Computers and Mathematics with Applications, 2011, 卷号: 62, 期号: 4, 页码: 1923-1939
Jiang Yuncheng
;
Tang Yong
;
Chen Qimai
;
Cao Zhanmao
  |  
收藏
  |  
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
  |  
收藏
  |  
extending logic programs with description logic expressions for the semantic web
会议论文
OAI收割
10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23
Shen Yi-Dong
;
Wang Kewen
  |  
收藏
  |