QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems.

V. S. Subrahmanian, Zerksis D. Umrigar

Browse the full CADE paper archive.