CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Trace Abstraction Refinement for Solving Horn Clauses 期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2015, 卷号: 12, 期号: 2, 页码: 680-689
作者:  Cheng, Jiujun;  Liu, Cong;  Zhou, MengChu;  Zeng, Qingtian;  Yla-Jaaski, Antti
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/17
An algorithm to compute maximal contractions for Horn clauses 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2011, 卷号: 54, 页码: 244-257
作者:  Luo Jie;  Li Wei
收藏  |  浏览/下载：5/0  |  提交时间：2020/01/06
Research on tableau algorithm for horn-extended DL 期刊论文
2010, 2010
Xiao Lan; Zheng Li; Xiao Jian; Huang Yi
收藏  |  浏览/下载：3/0
Horn-Extended DL的Tableau算法研究 期刊论文
2010, 2010
肖岚; 郑力; 肖建; 黄毅; XIAO Lan; ZHENG Li; XIAO Jian; HUANG Yi
收藏  |  浏览/下载：4/0
复合数字对象及版权保护权利推理机制研究 期刊论文
2010, 2010
郭迎九; 林闯; 尹浩; GUO Ying-jiu; LIN Chuang; YIN Hao
收藏  |  浏览/下载：5/0
Logical foundation of semantic web 期刊论文
moshi shibie yu rengong zhinengpattern recognition and artificial intelligence, 2005
Mei, Jing; Liu, Sheng-Ping; Lin, Zuo-Quan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/17
An extension to OWL with general rules 其他
2004-01-01
Mei, J; Liu, SP; Yue, AB; Lin, ZQ
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/16
An extension to OWL with general rules 其他
2004-01-01
Mei, Jing; Liu, Shengping; Yue, Anbu; Lin, Zuoquan
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
fast algorithms for revision of some special propositional knowledge bases 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 卷号: 18, 期号: 3, 页码: 388-392
Luan SM; Dai GZ
收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29

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