Raisonnement sur les ontologies
Abdelmoutia Telli  13-05-2018  Autre
SAT en Parallèle
Nicolas Szczepanski  12-12-2017  Artois, Région HdF
Résolution de problèmes autour de SAT
Gilles Audemard 29-11-2010
Raisonnement & Incohérence
Sébastien Konieczny 03-03-2010