 | Classes polynômiales |
| Méthodes symbolique-numériques de discrimination |
| Gestion de l'évolutif et de l'incertain dans une base de
connaissances |
| Méthodes symbolique-numériques de discrimination
|
| Gestion de l'évolutif et de l'incertain dans une base de
connaissances |
| Mécanisation du raisonnement |
| Étude comparative de trois formalismes en
calcul
propositionnel |
| Autour du problème de satisfaction de contraintes |
| Graphes conceptuels |
| Classification et objets : programmation ou
représentation ? |
| Modélisation de connaissances pour des environnements
interactifs d'apprentissage avec ordinateur |
| EVA : modélisation et représentation de
connaissances hétérogènes, guidées par les besoins en Explication Validation et
Acquisition |
| La génération d'explications négociées dans un
système à base de connaissances |
| Systèmes multi-agents et gestion de réseaux |
| Raisonnement qualitatif asymptotique par les ordres de
croissance |
| Méthodes probabilistes pour la planification de
mouvements en robotique |
| Comprendre des textes en langue naturelle |
| Un modèle cognitif pour la résolution d'un problème à
informations incomplètes |
| Planifier des contraintes de ressources |
| Une classification des relations d'inférence
non-monotone dans les approches syntaxiques |
| Interprétation de comportements peu contraints |
| Application aux systèmes multi-agents |
| De la représentation à la validation : la
généralisation dans les réseaux de neurones |
