Diagnosis and Debugging as Contradiction Removal in Logic Programs.

Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes

Browse the full EPIA paper archive.