位置：成果数据库 > 会议 > 会议详情页
A Prime Implicates-based Formulae Forgetting
  • 所属机构名称：北京大学
  • 会议名称：Proceedings of 2011 IEEE International Conference on Computer Science and Automation Engineering
  • 成果类型：会议
  • 相关项目：超协调缺省逻辑及其应用
作者： Xu,Dai|Lin, Zuoquan|
同会议论文项目
超协调缺省逻辑及其应用
期刊论文 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
An Argumentation Framework for Non-monotonic Reasoning in Description Logic
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
Enhancing Dung's Preferred Semantics