Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report.

Stefan Brning, Torsten Schaub

Browse the full IPMU paper archive.