Apprentissage automatique  Apprentissage profond  Argumentation  Assistants de preuve  Bases de données orientées objet  Cadre logique  Calcul des prédicats  Calcul des tableaux  Contraintes  Dedukti  Dossiers médicaux  Extraction de contre-modèles  Formalisme  Hypertension  Intelligence artificielle  Intelligence artificielle répartie  Interopérabilité  Labels  Lambda-calcul  Logique informatique  Logique temporelle  Logiques de ressources  Logiques de séparation  Logiques hybrides  Logiques temporelles  Logiques épistémiques  Modélisation  Médecine personnalisée  Méthodes formelles  Preuve  Preuve formelle  Pvs  Réécriture  Réécriture, Systèmes de  Systèmes experts  Systèmes multi-Agents  

Serenella Cerrito a rédigé la thèse suivante :

Contribution de la logique lineaire au probleme de la negation par echec

par Serenella Cerrito sous la direction de Nicolas Spyratos - Paris 11

Sciences appliquées

Soutenue en 1990

Serenella Cerrito a dirigé les 3 thèses suivantes :

Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics

par Amélie David sous la direction de Serenella Cerrito et de Valentin Goranko . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-09-2015

Bases de données, contraintes d'intégrité et logiques modales

par Virginie Thion-Goasdoue sous la direction de Nicole Bidoit-Tollu et de Serenella Cerrito . - Paris 11

Informatique

Soutenue en 2004

Démonstration automatique en logique temporelle : application aux contraintes d'intégrité dynamiques

par Sébastien Praud sous la direction de Véronique Benzaken et de Serenella Cerrito . - Paris 11

Informatique

Soutenue en 2002

Serenella Cerrito a été président de jury de la thèse suivante :

Extensions modales des logiques de ressources : expressivité et calculs

par Pierre Kimmel sous la direction de Didier Galmiche et de Dominique Larchey-Wendling . - Université de Lorraine

Informatique

Soutenue le 06-12-2018

Serenella Cerrito a été rapporteur de la thèse suivante :

Extensions modales des logiques de ressources : expressivité et calculs

par Pierre Kimmel sous la direction de Didier Galmiche et de Dominique Larchey-Wendling . - Université de Lorraine

Informatique

Soutenue le 06-12-2018

Serenella Cerrito a été membre de jury des 2 thèses suivantes :

Expressing predicate subtyping in computational logical frameworks

par Gabriel Hondet sous la direction de Frédéric Blanqui et de Gilles Dowek . - université Paris-Saclay

Informatique

Soutenue le 27-09-2022

Transparent approach based on deep learning and multiagent argumentation for hypertension management

par Naziha Sendi sous la direction de Étienne Colle , Farida Zehraoui et de Nadia Abchiche-Mimouni . - université Paris-Saclay

Informatique

Soutenue le 16-12-2020