欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
期刊名称:Int. J. Software and Informatics
时间:0
页码:3-21
相关项目:超协调缺省逻辑及其应用
作者:
Ma,Yue|Qi,Guilin|Xiao,Guohui| Pascal, Hitzler|Lin,Zuoquan|
同期刊论文项目
超协调缺省逻辑及其应用
期刊论文 5
会议论文 10
同项目期刊论文
Minimal hypotheses: extension-based semantics to argumentation
Quasi-Classical Description Logic
An argumentation framework for description logic ontology reasoning and management
更新本体与一般规则