Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.

Andreas Bauer

Browse the full CPAIOR paper archive.