Processing Diagnosis Queries: A Principled and Scalable Approach | IEEE Conference Publication | IEEE Xplore