From graph theory to propositional satisfiability: a new approach for the characterization of tractable classes
Yazid Boumarafi 13-12-2019
Hybridization of clauses learning techniques in constraint programming
Gaël Glorian 11-12-2019
Informatique ubiquitaire : techniques de curage d’informations perverties
Yacine Izza 07-12-2018
Practical resolution of the coherence of formulas in modal logic
Valentin Montmirail 17-09-2018
Constraints-based Data Mining
Abdelhamid Boudane 13-09-2018
Reasoning from ontologies
Abdelmoutia Telli 13-05-2018
Parallel SAT solving
Nicolas Szczepanski 12-12-2017
Argumentation reasoning tools for online debate platform
Jérôme Delobelle 12-12-2017
Interval-based possibility theory: Conditioning and probability/possibility transformations
Amélie Levray 08-12-2017
Qualitative DL-Lite logics
Khaoula Boutouhami 03-12-2017
Knowledge compilation for model counting
Samuel Thomas 14-12-2016
Changement de croyances et logiques modales
Thomas Caridroit 13-12-2016
A Stochastic Constraint-Based Approach to General Game Playing
Éric Piette 09-12-2016
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
Dynamique des Systèmes d’Argumentation
Jean-Guy Mailly 30-09-2015
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
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
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
Intégration de techniques CSP pour la résolution du problème WCSP
Nicolas Paris 06-11-2014
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
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
Analyse et regroupement automatique de textes courts à des fins statistiques
Benoît Trouvilliez 13-05-2013
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
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