中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
王健 [1]
Issued Date
2014 [1]
Project
Indexed
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 12)

Items/Page:    Sort:
FLP answer set semantics without circular justifications for general logic programs [期刊论文]
Artificial Intelligence, 2014-01-01, 卷号: 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)

 
using operational processes model to improve software development [会议论文]
2011 International Conference on Electrical Engineering and Automation, EEA 2011, Beijing, China, December 24, 2011 - December 25, 2011
Wulamu Aziguli; Wang Jian(王健); Zuo Chun

 
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

 
a chinese time ontology for the semantic web [期刊论文]
Knowledge-Based Systems, 2011-01-01, 卷号: 24, 期号: 7, 页码: 1057-1074
Zhang Chunxia; Cao Cungen; Sui Yuefei; Wu Xindong

 
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 decision making using ontology-based soft sets [期刊论文]
Mathematical and Computer Modelling, 2011-01-01, 卷号: 53, 期号: 5-6, 页码: 1140-1149
Jiang Yuncheng; Liu Hai; Tang Yong; Chen Qimai
  |  
 
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
  |  
 
representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies [期刊论文]
EXPERT SYSTEMS WITH APPLICATIONS, 2010-01-01, 卷号: 37, 期号: 8, 页码: 6052-6060
Jiang Yuncheng; Tang Yong; Wang Ju; Tang Suqin
  |  
 
research of chinese text classification methods based on semantic vector and semantic similarity [会议论文]
2009 International Forum on Computer Science-Technology and Applications, IFCSTA 2009, Chongqing, China, 40879
Song Xin; Huang Jia; Zhou Jing-Min; Chen Xi

 
computing most specific concept in description logic with n-ary existential quantifier [期刊论文]
Jisuanji Xuebao/Chinese Journal of Computers, 2009-01-01, 卷号: 32, 期号: 8, 页码: 1500-1510
Jiang Yun-Cheng; Tang Su-Qin

 

1 2 next

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