From graph theory to propositional satisfiability: a new approach for the characterization of tractable classes
Yazid Boumarafi  13-12-2019  Artois, CRIL
Hybridization of clauses learning techniques in constraint programming
Gaël Glorian  11-12-2019  Artois
Informatique ubiquitaire : techniques de curage d’informations perverties
Yacine Izza  07-12-2018  Artois, Région HdF
Practical resolution of the coherence of formulas in modal logic
Valentin Montmirail  17-09-2018  Artois
Constraints-based Data Mining
Abdelhamid Boudane  13-09-2018 
Reasoning from ontologies
Abdelmoutia Telli  13-05-2018  Other
Parallel SAT solving
Nicolas Szczepanski  12-12-2017  Artois, Région HdF
Argumentation reasoning tools for online debate platform
Jérôme Delobelle  12-12-2017  ANR
Interval-based possibility theory: Conditioning and probability/possibility transformations
Amélie Levray  08-12-2017  Artois
Qualitative DL-Lite logics
Khaoula Boutouhami  03-12-2017  Other
Knowledge compilation for model counting
Samuel Thomas  14-12-2016  Artois, Région HdF
Changement de croyances et logiques modales
Thomas Caridroit  13-12-2016  CRIL
A Stochastic Constraint-Based Approach to General Game Playing
Éric Piette  09-12-2016  Artois
Extensions of Tractable Classes for Propositional Satisfiability
Al-Saedi Mohammad Saleh Balasim  14-11-2016 
Parallélisation de systèmes de contraintes complexes
Nebras Gharbi  04-12-2015  OSEO
Dynamique des Systèmes d’Argumentation
Jean-Guy Mailly  30-09-2015  Artois
On the qualitative decision in a possibility theory framework
Ismahane Sid-Amar  20-09-2015 
Compilation de préférences - application à la configuration de produits
Nicolas Schmidt  17-09-2015  ANR
An alert correlation approach based on IFO-QCL and on the handling of partial information in possibility theory
Lydia Bouzar  28-06-2015 
Multi-Objective Boolean Optimization: complexity with compiled constraints and SAT-based resolution
Emmanuel Lonca  26-06-2015  Artois
Inconsistency and uncertainty handling in lightweight description logics
Zied Bouraoui  05-06-2015 
Parallélisation de solveurs de contraintes
Benoît Hoessen  10-12-2014  OSEO
Intégration de techniques CSP pour la résolution du problème WCSP
Nicolas Paris  06-11-2014  OSEO
Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
Jerry Lonlac Konlac  03-10-2014 
La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées
Djamel-Eddine Dehani  13-02-2014  Artois, Région HdF
Contributions aux approches logiques de l'argumentation en intelligence artificielle
Badran Raddaoui  21-11-2013 
Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle
Long Guo  08-07-2013  MSR
Analyse et regroupement automatique de textes courts à des fins statistiques
Benoît Trouvilliez  13-05-2013  CIFRE
Développement de logiques non-classiques pour la gestion des préférences et de l'incertitude
Abdelhamid Boudjelida  07-04-2013 
Gestion de l'incertitude et codage des politiques de sécurités dans les systèmes de contrôle d'accès
Khalid Bouriche  16-02-2013 
Possibilistic networks : from learning to compilation and propagation
Raouia Ayachi  18-01-2013 
Causal reasoning modeling under a belief function framework
Imen Boukhris  17-01-2013 
Extraction de motifs de données complexes : cas de la classification des protéines
Rabie Saidie  03-10-2012 
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes
Jean-Marie Lagniez  07-12-2011  Artois
Méthodes Permettant la Prédominance de Connaissances Subsumées
Sébastien Ramon  02-12-2011 
Modèles graphiques possibilistes pour la corrélation d'alertes en détection d'intrusions
tayeb  09-03-2011 
Réseaux de neurones et treillis de galois
Norbert Tsopze  28-12-2010 
Extraction, représentation ontologique et classification des connaissances à partir des données sur le web
Sami Zghal  21-12-2010 
Fusion de réseaux de contraintes qualitatives
Nicolas Schwind  10-12-2010 
Étude de systèmes de contraintes contraintes hétérogènes pour la gestion du temps
Dominique Dalmeida  03-12-2010 
Classifieurs possibilistes basés sur les arbres de décision et les systèmes immunitaires artificiels
Ilyes Jenhani  01-02-2010 
Raisonnement dans l'incertain à partir de bases de croyances symboliquement pondérées et logique de description pour la corrélation d'alerte
Safa Yahi  04-12-2009 
Un Modèle pour la Prise de Décision Multi-agent sous Incertitude
Ramzi Benlarbi  04-12-2009 
Fouilles de représentations concises des motifs fréquents à travers les espaces de recherche conjonctif et disjonctif
Tarek Hamrouni  04-08-2009 
Fusion de réseaux causaux possibilistes
Faiza Titouna  20-01-2009 
Étude du raisonnement temporel basé sur la résolution de contraintes
Mahmoud Saade  15-12-2008 
Intégration des ressources en planification temporelle optimale
Zied Loukil  12-12-2008 
De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées
Saïd Jabbour  05-12-2008 
Raisonnement en présence de préférences et d'incertitude : Application à la détection d'intrusions et corrélation d'alertes
Karima Sedki  04-12-2008 
Modèles graphiques et approches comportementales pour la détection d'intrusions
Karim Tabia  28-11-2008 
Fusion d'informations incertaines sans commensurabilité des échelles de référence
Julien Rossit  10-07-2008 
Réseaux possibilistes hybrides : Représentation des interventions et algorithmes
Salma Smaoui  14-12-2007 
Contributions à la résolution générique des problèmes de satisfaction de contraintes
Julien Vion  30-11-2007 
Utilisation de techniques polynomiales pour la résolution pratique
Olivier Fourdrinoy  27-11-2007 
Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes
Sébastien Tabary  22-11-2007 
Techniques algorithmiques pour l'extraction de formules minimales inconsistantes
Cédric Piette  21-11-2007 
Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive
Patricia Everaere  07-12-2006 
Contribution à l'étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung
Caroline Devred  01-12-2006 
Contribution à la fouille de données : Règles d’association et interactivité au sein d’un processus d’extraction de connaissances dans les données
Olivier Couturier  12-12-2005 
De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d’un prouveur QBF
Florian Letombe  05-12-2005 
Algorithmique des Treillis de Concepts : Application à la Fouille de Données
Huaiguo Fu  14-02-2005 
Utilisation et extensions de l’algorithmique pour SAT pour la résolution de différents problèmes d’intelligence artificielle
David Ansart  04-02-2005 
Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT
Richard Ostrowski  15-12-2004 
Gestion des Incohérences dans les Systèmes de Contrôle d’Accès
Rania El Baida  13-12-2004 
Contributions aux techniques de fusion de connaissances en intelligence artificielle
Ahcène Sofiane  16-06-2003 
Study of abstraction mechanisms and hierarchies construction
Sylvain Merchez  15-12-2000