CORC

浏览/检索结果: 共9条,第1-9条 帮助

已选(0)清除 条数/页:   排序方式:
An anytime algorithm for computing inconsistency measurement 其他
2009-01-01
Ma, Yue; Qi, Guilin; Xiao, Guohui; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载:1/0  |  提交时间:2015/11/13
Paraconsistent reasoning for expressive and tractable description logics 其他
2008-01-01
Ma, Yue; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载:7/0  |  提交时间:2015/11/13
Algorithms for paraconsistent reasoning with OWL 其他
2007-01-01
Ma, Yue; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
LOGICS  
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
An algorithm for computing inconsistency measurement by paraconsistent semantics 其他
2007-01-01
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
An algorithm for computing inconsistency measurement by 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
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


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