 | Déduction automatique |
 | Modélisation, simulation qualitatives |
 | Graphes conceptuels |
 | Machines de perception multisensorielle |
 | Interfaces homme-machine |
 | Abduction, raisonnement hypothétique, maintien de
cohérence / Révision de bases de connaissance |
 | Formalismes en calcul propositionnel |
 | Logiques propos. de défauts |
 | Méthodes symboliques numériques |
 | Flexibilité dans problèmes sous contraintes |
 | Réseaux causaux probabilistes |
 | Du relationnel à l'orienté-objet |
 | Architecture de tableau noir |
 | Algorithmes pour planification et action |