Qualifying the Expressivity/Efficiency Tradeoff: Reformation-Based Diagnosis.

Helmut Prendinger, Mitsuru Ishizuka

Browse the full AAAI paper archive.