中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 33)

Items/Page:    Sort:
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
a new matchmaking approach based on abductive conjunctive query answering [会议论文]
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

 
towards practical abox abduction in large description logic ontologies [期刊论文]
International Journal on Semantic Web and Information Systems, 2012-01-01, 卷号: 8, 期号: 2, 页码: 1-33
Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.

 
extending logic programs with description logic expressions for the semantic web [会议论文]
10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23
Shen Yi-Dong; Wang Kewen

 
decidable temporal dynamic description logic [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: 7, 页码: 1524-1537
Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng

 
characterizations of one-way general quantum finite automata [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 419, 页码: -
Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lvjun Li; Lihua Wu; Paulo Mateus

 
extending fuzzy soft sets with fuzzy description logics [期刊论文]
Knowledge-Based Systems, 2011-01-01, 卷号: 24, 期号: 7, 页码: 1096-1107
Jiang Yuncheng; Tang Yong; Chen Qimai; Liu Hai; Tang Jianchao
  |  
 
semantic operations of multiple soft sets under conflict [期刊论文]
Computers and Mathematics with Applications, 2011-01-01, 卷号: 62, 期号: 4, 页码: 1923-1939
Jiang Yuncheng; Tang Yong; Chen Qimai; Cao Zhanmao
  |  
 
reasoning and change management in modular fuzzy ontologies [期刊论文]
Expert Systems with Applications, 2011-01-01, 卷号: 38, 期号: 11, 页码: 13975-13986
Jiang Yuncheng; Tang Yong; Chen Qimai; Wang Ju
  |  
 
revisiting the power and equivalence of one-way quantum finite automata [会议论文]
6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18,
Li Lvzhou; Qiu Daowen
  |  
 

1 2 3 4 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace