CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
An argumentation framework for description logic ontology reasoning and management 其他
2013-01-01
Zhang, Xiaowang; Lin, Zuoquan
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/11
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System 其他
2011-01-01
Zhang, Xiaowang; Lin, Zuoquan; Wang, Kewen
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
Towards a paradoxical description logic for the Semantic Web 其他
2010-01-01
Zhang, Xiaowang; Lin, Zuoquan; Wang, Kewen
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Argumentation-Based Reasoning with Inconsistent Knowledge Bases 其他
2010-01-01
Zhang, Xiaowang; Zhang, Zhihu; Xu, Dai; Lin, Zuoquan
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/13
LOGIC  OWL  
An argumentative semantics for paraconsistent reasoning in description logic ALC 其他
2009-01-01
Zhang, Xiaowang; Zhang, Zhihu; Lin, Zuoquan
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach 其他
2009-01-01
Zhang, Zhihu; Lin, Zuoquan; Ren, Shuang
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
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
An argumentative semantics for paraconsistent reasoning in description logic ALC 期刊论文
CEUR Workshop Proceedings, 2009, 卷号: Vol.477
作者:  Zhang,Xiaowang;  Lin,Zuoquan;  Zhang,Zhihu
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/24
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

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