|
已选(0)清除
条数/页： 排序方式：
|
| On theorem proving in annotated logics 期刊论文
2015, 2015
Mi Lu; JinZhao Wu
  收藏 | 浏览/下载：5/0 | 提交时间：2017/06/19
|
| Inconsistency-tolerant reasoning with OWL DL 其他
2014-01-01
Zhang, Xiaowang; Xiao, Guohui; Lin, Zuoquan; Van den Bussche, Jan
收藏 | 浏览/下载：1/0 | 提交时间：2015/11/11
|
| An argumentation framework for description logic ontology reasoning and management 其他
2013-01-01
Zhang, Xiaowang; Lin, Zuoquan
收藏 | 浏览/下载：4/0 | 提交时间：2015/11/11
|
| Reasoning with inconsistencies in hybrid MKNF knowledge bases 期刊论文
Logic Journal of the IGPL, 2013, 卷号: Vol.21 No.2, 页码: 263-290
作者: Huang, SS; Li, QG; Hitzler, P
收藏 | 浏览/下载：7/0 | 提交时间：2020/01/05
|
| Quasi-Classical Description Logic 其他
2012-01-01
Zhang, Xiaowang; Lin, Zuoquan
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/16
|
| 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
|
| 一种基于符号变换的描述逻辑ALC超协调推理算法 期刊论文
计算机科学, 2011
张小旺; 肖国辉
收藏 | 浏览/下载：4/0 | 提交时间：2015/10/23
|
| 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
|
| An argumentative semantics for paraconsistent reasoning in description logic ALC 其他
2009-01-01
Zhang, Xiaowang; Zhang, Zhihu; Lin, Zuoquan
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/13 |
