中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [8]
作者
Content Type
会议论文 [5]
期刊论文 [3]
Issued Date
Language
英语 [8]
Source
lecture no... [2]
internatio... [1]
internatio... [1]
proceeding... [1]
proceeding... [1]
更多...
Project
Indexed
EI [7]
SCIENCEDIR... [1]
Spnsorship
associatio... [1]
ieee [1]
ieee; ieee... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-8 of 8)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Author Ascending
Author Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
approximating linear order inference in owl 2 dl by horn compilation
[会议论文]
2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, Macau, China, December 4, 2012 - December 7, 2012
Du Jianfeng
;
Qi Guilin
;
Pan Jeff Z.
;
Shen Yi-Dong
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
an abductive cqa based matchmaking system for finding renting houses
[会议论文]
Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011
Du Jianfeng
;
Wang Shuai
;
Qi Guilin
;
Pan Jeff Z.
;
Qiu Che
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.
a decomposition-based approach to owl dl ontology diagnosis
[会议论文]
23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, United states, November 7
Du Jianfeng
;
Qi Guilin
;
Pan Jeff Z.
;
Shen Yi-Dong
towards practical abox abduction in large owl dl ontologies
[会议论文]
25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United states, August 7,
Du Jianfeng
;
Qi Guilin
;
Shen Yi-Dong
;
Pan Jeff Z.
extending description logics with uncertainty reasoning in possibilistic logic
[期刊论文]
International Journal of Intelligent Systems, 2011-01-01, 卷号: 26, 期号: 4, 页码: 353-381
Qi Guilin
;
Ji Qiu
;
Pan Jeff Z.
;
Du Jianfeng
  |  
finding data tractable description logics for computing a minimum cost diagnosis based on abox decomposition
[期刊论文]
Tsinghua Science & Technology, 2010-01-01, 卷号: 15, 期号: 6, 页码: 623 - 632
Jianfeng Du
;
Guilin Qi
;
Jeff Z. Pan
  |  
1
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace