Abstract
Minimal inconsistent subsets of knowledge bases play an important role in propositional logic, most notably for diagnosis, axiom pinpointing, and inco......
小提示:本篇文献需要登录阅读全文,点击跳转登录