CORC

在结果中检索

CORC

浏览/检索结果: 共21条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
FLP answer set semantics without circular justifications for general logic programs 期刊论文
Artificial Intelligence, 2014, 卷号: 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)
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
Quantitatively Measure Access Control Mechanisms Across Different Operating Systems 会议论文
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013
Cheng, Liang; Zhang, Yang; Han, Zhihui
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
towards practical abox abduction in large description logic ontologies 期刊论文
International Journal on Semantic Web and Information Systems, 2012, 卷号: 8, 期号: 2, 页码: 1-33
Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.
收藏  |  浏览/下载：15/0  |  提交时间：2013/09/17
a concurrent temporal programming model with atomic blocks 会议论文
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12, 2012 - November 16, 2012
Yang Xiaoxiao; Zhang Yu; Fu Ming; Feng Xinyu
收藏  |  浏览/下载：18/0  |  提交时间：2013/09/22
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
收藏  |  浏览/下载：15/0  |  提交时间：2013/09/22
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
收藏  |  浏览/下载：13/0  |  提交时间：2013/10/08
compiling answer set programs into event-driven action rules 会议论文
11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, Vancouver, BC, Canada, 16-May-20
Zhou Neng-Fa; Shen Yi-Dong; You Jia-Huai
收藏  |  浏览/下载：12/0  |  提交时间：2011/10/10
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.
收藏  |  浏览/下载：6/0  |  提交时间：2013/10/08
visualizing inference process of a rule engine 会议论文
4th Visual Information Communication - International Symposium, VINCI 2011, Hong Kong, China, August 4,
Shi Jian; Qiao Ying; Wang Hongan
收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10
axiomatic temporal logic programs verification 会议论文
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
收藏  |  浏览/下载：8/0  |  提交时间：2011/03/31

©版权所有 ©2017 CSpace - Powered by CSpace