Annonces asynchrones  Authentification  Automates  Bisimulation  Calcul symbolique  Capacité de groupe  Clauses de premier ordre  Cohérence  Combinaison de formalismes  Complexité  Complexité algorithmique  Complexité de calcul  Complexité du raisonnement  Composition de services  Contraintes  Contraintes et satisfaisabilité,  Contrôle  Cryptographie  Del  Display calculs  Dynamique  Dynamique topologique  Décidabilité  Décidabilité  Décidabilité et complexité  Déduction  Délégation  Déontique  Epistémique  Espace  Logique informatique  Logique modale  Logique épistémique  Logiques de séparation  Modalité  Procédures de décision  

Philippe Balbiani a rédigé la thèse suivante :

Une caracterisation modale de la semantique des programmes logiques avec negation

par Philippe Balbiani sous la direction de Luis Fariñas del Cerro - Toulouse 3

Sciences et techniques communes

Soutenue en 1991

Philippe Balbiani a dirigé les 9 thèses suivantes :

Logiques pour les réseaux sociaux : annonces asynchrones dans des structures orthogonales

par Saúl Fernández González sous la direction de Philippe Balbiani - Toulouse 3

Informatique et Télécommunications

Soutenue le 15-12-2021

Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence

par Joseph Boudou sous la direction de Philippe Balbiani - Toulouse 3

Intelligence artificielle

Soutenue le 15-09-2016

Synthèse d'orchestrateur pour la composition de services

par Hikmat Farhat sous la direction de Philippe Balbiani et de Guillaume Feuillade . - Toulouse 3

Intelligence artificielle

Soutenue en 2014

Flux de l'information en programmation logique

par Antoun Yaacoub sous la direction de Philippe Balbiani et de Ali Awada . - Toulouse 3

Intelligence artificielle

Soutenue en 2012

Who may say what? : thoughts about objectivity, group ability and permission in dynamic epistemic logic

par Pablo Seban sous la direction de Philippe Balbiani et de Hans van Ditmarsch . - Toulouse 3

Informatique

Soutenue en 2011

Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué

par Marwa El Houri sous la direction de Philippe Balbiani et de Yannick Chevalier . - Toulouse 3

Informatique

Soutenue en 2010

Composition de services : algorithmes et complexités

par Fahima Cheikh sous la direction de Philippe Balbiani - Toulouse 3

Informatique

Soutenue en 2009

Analyse logique et vérification des protocoles cryptographiques

par Mounira Kourjieh sous la direction de Philippe Balbiani et de Yannick Chevalier . - Toulouse 3

Informatique

Soutenue en 2009

Déduction automatique en calcul des durées basée sur la méthode des tableaux

par Nathalie Chetcuti sous la direction de Luis Fariñas del Cerro et de Philippe Balbiani . - Toulouse 3

Informatique

Soutenue en 2001

Philippe Balbiani a été rapporteur des 2 thèses suivantes :

Evidence in Epistemic Logic : A Topological Perspective

par Aybüke Özgün sous la direction de Hans van Ditmarsch et de Sonja Smets . - Université de Lorraine

Informatique

Soutenue le 04-10-2017

Logiques de ressources dynamiques : modèles, propriétés et preuves

par Jean-René Courtault sous la direction de Didier Galmiche - Université de Lorraine

Informatique

Soutenue le 15-04-2015

Philippe Balbiani a été membre de jury des 2 thèses suivantes :

Un cadre algébrique pour le raisonnement qualitatif en présence d'informations hétérogènes : application aux raisonnements multi-échelle et spatio-temporel

par Quentin Cohen-Solal sous la direction de Maroua Bouzid - Normandie

Informatique

Soutenue le 11-12-2017

Monotone Modal Logic and Friends

par Sabine Frittella sous la direction de Luigi Santocanale et de Alessandra Palmigiano . - Aix-Marseille

Informatique

Soutenue le 01-12-2014