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

Search Results

Help

Item hits: (Results 1-5 of 5)

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)

 
A tractable approach to ABox abduction over description logic ontologies [会议论文]
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Du, Jianfeng (1); Wang, Kewen (2); Shen, Yi-Dong (3)

 
flp semantics without circular justifications for general logic programs [会议论文]
26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12, Toronto, ON, Canada, July 22, 2012 - July 26, 2012
Shen Yi-Dong; Wang Kewen

 
probabilistic multi-context systems [会议论文]
Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011
Sotomayor Marco; Wang Kewen; Shen Yidong; Thornton John

 
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

 

1

 

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