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

Search Results

Help

Item hits: (Results 1-10 of 18)

Filters    
Items/Page:    Sort:
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

 
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
  |  
 
knowledge-theoretic approach to formal verification of web services protocols [会议论文]
2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2010, Beijing, China, 37453
Yao Guoxiang; Chen Qingliang; Liu Chanjuan; Yang Zhuolin
  |  
 
on the expressive power of qltl [会议论文]
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28,
Wu Zhilin
  |  
 

1 2 next

 

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