Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lect Notes Comput Sci;O. Arieli,1997
2. O. Arieli, A. Avron. A model theoretic approach to recover consistent data from inconsistent knowledge-bases. Journal of Automated Reasoning 22(3), pages 263–309, 1999.
3. N.D. Belnap. A useful four-valued logic. Modern Uses of Multiple-Valued Logic (G. Epstein, J.M. Dunn, editors), Reidel Publishing Company, pages 7–37, 1977.
4. N.D. Belnap. How computer should think. Contemporary Aspects of Philosophy (G. Ryle, editor), Oriel Press, pages 30–56, 1977.
5. S. Benferhat, D. Dubois, H. Prade. How to infer from inconsistent beliefs without revising? Proc. IJCAI’95, pages 1449–1455, 1995.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specifying Constraints for Detecting Inconsistencies in A Conceptual Graph Knowledge Base;International Journal of Conceptual Structures and Smart Applications;2017-07
2. Database repairing using updates;ACM Transactions on Database Systems;2005-09
3. Paraconsistent declarative semantics for extended logic programs;Annals of Mathematics and Artificial Intelligence;2002