Pierre Siegel a rédigé la thèse suivante :
Représentation et utilisation de la connaissnace en calcul propositionnel
par Pierre Siegel sous la direction de Alain Colmerauer - Aix-Marseille 2
Sciences
Soutenue en 1987
Pierre Siegel a dirigé les 11 thèses suivantes :
Modeling of resilient systems in non-monotonic logic : application to solar power UAV
par José Luis Vilchis Medina sous la direction de Pierre Siegel et de Andrei Doncescu . - Aix-Marseille
Mathématiques et informatique
Soutenue le 12-12-2018
Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes
par Tan Le sous la direction de Andrei Doncescu et de Pierre Siegel . - Toulouse 3
Systèmes informatiques
Soutenue en 2014
Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée
par Lionel Paris sous la direction de Belaïd Benhamou et de Pierre Siegel . - Aix-Marseille 1
Informatique
Soutenue en 2007
Contribution au partitionnement matériel/logiciel des systèmes temps réels pour les applications de contrôle d'expériences
par Romain (1966-.... Kamden sous la direction de Pierre Siegel - Aix-Marseille 1
Informatique
Soutenue en 1999
X-logiques : théorèmes de représentation pour les logiques préférentielles et la logique des défauts
par Lionel Forget sous la direction de Pierre Siegel - Aix-Marseille 1
Sciences
Soutenue en 1999
A propos d'enumeration et de polynomialite sur le probleme sat et les problemes de satisfaction de contraintes
par RICHARD GENISSON sous la direction de Pierre Siegel - Aix-Marseille 1
Sciences appliquées. Informatique
Soutenue en 1997
Proposition d'une structure de représentation de la connaissance pour les raisonnements non classiques
par Arnaud Kohler sous la direction de Pierre Siegel - Aix-Marseille 1
Informatique
Soutenue en 1995
Etude des symétries et de la cardinalité en calcul propositionnel : application aux algorithmes sémantiques
par Lakhdar Saïs et Belaïd Benhamou sous la direction de Pierre Siegel - Aix-Marseille 1
Informatique et mathématiques. Intelligence artificielle
Soutenue en 1993
Etude des symétries et de la cardinalité en calcul propositionnel : application aux algorithmes syntaxiques
par Belaïd Benhamou et Lakhdar Saïs sous la direction de Pierre Siegel - Aix-Marseille 1
Informatique et mathématiques. Intelligence artificielle
Soutenue en 1993
Une procédure de preuve pour une logique modale non monotone
par Christophe Mathieu sous la direction de Pierre Siegel - Aix-Marseille 1
Informatique
Soutenue en 1993
L'évaluation sémantique en calcul propositionnel
par Laurent Oxusoff et Antoine Rauzy sous la direction de Pierre Siegel et de Alain Colmerauer . - Aix-Marseille 2
Informatique et mathématiques
Soutenue en 1989
Pierre Siegel a été président de jury des 2 thèses suivantes :
Conception d'un système ASP basé sur une nouvelle sémantique et application aux problèmes biologiques
par Tarek Khaled sous la direction de Belaïd Benhamou - Aix-Marseille
Informatique
Soutenue le 16-12-2019
Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones
par Tarek Nabhani sous la direction de Belaïd Benhamou et de Richard Ostrowski . - Aix-Marseille 1
Informatique
Soutenue le 09-12-2011
