Introduction à la Logique de Description (résumé)
Exercice 8 a) Un ensemble de clauses ne contenant pas de clause positive ni de clause négative, peut-il être insatisfaisable ? b) Comme corollaire de la réponse ...
Exercice 8 a) Un ensemble de clauses ne contenant pas de clause positive ni de clause négative, peut-il être insatisfaisable ? b) Comme corollaire de la réponse ...