Crosby: Financial Data Interpretation as Model-based Diagnosis

. Supersedes TR 22. Describes the theory underlying the Automated Analytics project Crosby, a system which helps to interpret complex quantitative data by allowing the user to manipulate qualitative assumptions about the correctness of the data or the manner in which it should be modeled