The Diagnosis Front-End of the DLV System