Corriger la Logique des Défauts par la Logique des Défauts
Cadre de la Logique des Défauts. Combinaison de Théories avec Défauts. Problème de la Trivialisation. Proposition. Suppression des Formules Inconsistantes.
Cadre de la Logique des Défauts. Combinaison de Théories avec Défauts. Problème de la Trivialisation. Proposition. Suppression des Formules Inconsistantes.