Faster horn diagnosis - a performance comparison of abductive reasoning algorithms.