HDR soutenues
-
Induction de connaissances de sens commun à partir de plongements vectoriels
- Zied Bouraoui 17/11/2022
-
Comptage, Compilation de Connaissances et Applications
- Stefan Mengel 08/12/2021
-
Raisonner, argumenter, classer et agréger
- Srdjan Vesic 18/03/2021
-
Promenade au-delà de NP
- Jean-Marie Lagniez 11/12/2019
-
Un peu d'Action, de Connaissance, de Croyance et Beaucoup de Logique Modale
- Tiago de Lima 05/12/2019
-
Modélisation et logique propositionnelle classique
- Yakoub Salhi 27/11/2019
-
Les logiques de description non monotones
- Ivan Varzinczak 26/11/2019
-
Contributions au raisonnement sous incertitude dans un cadre possibiliste
- Karim Tabia 24/10/2019
-
Des Données aux Connaissances : Modèles et Algorithmes
- Saïd Jabbour 06/12/2018
-
Incomparabilité et incommensurabilité dans le raisonnement et la dynamique des croyances
- Sylvain Lagrue 12/12/2011
-
Contraintes qualitatives pour le raisonnement sur le temps et l'espace
- Jean-François Condotta 08/12/2011
-
Sat4j, un moteur libre de raisonnement en logique propositionnelle
- Daniel Le Berre 03/12/2010
-
Résolution de problèmes autour de SAT
- Gilles Audemard 29/11/2010
-
Raisonnement & Incohérence
- Sébastien Konieczny 03/03/2010
-
SAT et au-delà de SAT : Modèles et Algorithmes
- Bertrand Mazure 29/01/2010
-
Travailler avec des préférences : rester simple pour faire plus
- Souhila Kaci 03/04/2009
-
Tenter la simplicité en satisfaction de contraintes
- Christophe Lecoutre 22/11/2007
-
Extraction des connaissances basée sur les treillis de Galois : Méthodes et applications
- Engelbert Mephu Nguifo 10/12/2001
-
De la résolution du problème SAT à la résolution de problèmes autour de SAT
- Lakhdar Saïs 01/12/2000
-
Le contrôle des agents autonomes de raisonnement progressif et "anytime" dans un environnement dynamique et incertain
- Abdel-Illah Mouaddib 27/11/2000