Saïd Jabbour, Badran Raddaoui. Measuring Inconsistency through Minimal Proofs. In Linda C. van der Gaag, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. Volume 7958 of Lecture Notes in Computer Science, pages 290-301, Springer, 2013. [doi]
Abstract is missing.