CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Quasi-Classical Description Logic 其他
2012-01-01
Zhang, Xiaowang; Lin, Zuoquan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
An argumentative semantics for paraconsistent reasoning in description logic ALC 其他
2009-01-01
Zhang, Xiaowang; Zhang, Zhihu; Lin, Zuoquan
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Paraconsistent Reasoning with Quasi-classical Semantic in ALC 其他
2008-01-01
Zhang, Xiaowang; Lin, Zuoquan
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/16
Paraconsistent reasoning for expressive and tractable description logics 其他
2008-01-01
Ma, Yue; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/13
Measuring inconsistency for description logics based on paraconsistent semantics 其他
2007-01-01
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/16
ALC(P)(u): An integration of description logic and general rules 其他
2007-01-01
Mei, Jing; Lin, Zuoquan; Boley, Harold
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/16
OWL  
Measuring inconsistency for description logics based on paraconsistent semantics 其他
2007-01-01
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Measuring inconsistency for description logics based on paraconsistent semantics 其他
2007-01-01
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Paraconsistent resolution for four-valued description logics 其他
2007-01-01
Ma, Yue; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载：0/0  |  提交时间：2015/11/13
Feature model based on description logics 其他
2006-01-01
Fan, Shaofeng; Zhang, Naixiao
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13

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