位置：成果数据库 > 会议 > 会议详情页
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
  • 所属机构名称：北京大学
  • 会议名称：13th Asia-Pacific Conference on Web Technology
  • 成果类型：会议
  • 相关项目：超协调缺省逻辑及其应用
作者： Zhang, Xiaowang|Lin, Zuoquan|Wang, Kewen|
同会议论文项目
超协调缺省逻辑及其应用
期刊论文 5 会议论文 10
同项目会议论文
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT solvers
A Forgetting-based Approach to Merging Knowledge Bases
Argumentation-Based Reasoning with Inconsistent Knowledge Bases
Towards a Paradoxical Description Logic for the Semantic Web
A Logic-based RBAC Framework for Flexible Policies
A Model-Theoretic Semantics for Two-Sided Argumentation
A Prime Implicates-based Formulae Forgetting
An Argumentation Framework for Non-monotonic Reasoning in Description Logic
Enhancing Dung's Preferred Semantics