CORC

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

限定条件                
已选(0)清除 条数/页:   排序方式:
Computing inconsistency measurements under multi-valued semantics by partial max-SAT solvers 其他
2010-01-01
Xiao, Guohui; Lin, Zuoquan; Ma, Yue; Qi, Guilin
收藏  |  浏览/下载:1/0  |  提交时间:2015/11/13
Quasi-classical semantics for expressive description logics 其他
2009-01-01
Zhang, Xiaowang; Qi, Guilin; Ma, Yue; Lin, Zuoquan
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13
ITERATED REVISION IN DEFAULT LOGIC 其他
2009-01-01
Ren, Shuang; Qi, Guilin; Lin, Zuoquan
收藏  |  浏览/下载:1/0  |  提交时间:2015/11/16
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
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
“批判日本政府篡改历史教科书座谈会”学者发言 期刊论文
抗日战争研究, 2001
戴逸; 刘述礼; 王桧林; 汤重南; 赵阶琦; 罗焕章; 李良志; 何仲山; 徐勇; 林晓光; 林治波; 章伯锋; 张振; 曾业英; 姜涛; 曾景忠; 雷颐; 居之芬; 卞修跃; 刘萍
收藏  |  浏览/下载:6/0  |  提交时间:2015/11/12


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