1. Paraconsistent reasoning and preferential entailments by signed quantified boolean formulae;Arieli;ACM Transactions on Computational Logic,2007
2. Distance-based paraconsistent logics;Arieli;International Journal on Approximate Reasoning,2008
3. Combining multiple knowledge bases;Baral;IEEE Transactions on Knowledge and Data Engineering,1991
4. S. Benferhat, C. Cayrol, D. Dubois, J. Lang, H. Prade, Inconsistency management and prioritized syntax-based entailment, in: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), 1993, pp. 640–645
5. Inconsistency Tolerance,2005