Giuseppe Greco

LE- améliore la représentation des connaissances pour la gestion de données complexes.

Un aperçu de la logique à trois valeurs et de ses applications.

Un aperçu des calculs étiquetés pour la logique modale non distributive.