Francesco Ricca

Le contrôle prédictif basé sur les données améliore l'utilisation des batteries et réduit la consommation d'énergie dans les bâtiments.

LLASP améliore la génération de code ASP à partir de descriptions en langage naturel.

Une nouvelle méthode pour trouver des cœurs minimalement insatisfaisables en logique temporelle linéaire.