Homogeneity measures and iterative clustering approach for object detection in an image

Managing Inconsistency in Partially Ordered Information: Application to Dynamic and Explainable Access Control Models

Probabilistic Explanations for Model-Agnostic Predictors

Fusion pratique et conditionnement hétérogène à partir d’informations incertaines

Contributions to Cheminformatics: Stereo2vec Molecule Embeddings and the Open Cyclodextrin DataBase

Approches innovantes d’optimisation du cross-docking : Incertitude, durabilité et intégration de l'IA

Confidence measures by confrontation of sources

From Machine Learning to Digital Humanities

Graph mining and Influence Maximization in social networks

Intelligent processing of health data for the prediction and prevention of pathologies

Principles and Practices for Bipolar Semantics and Impact Measures in Computational Argumentation

Equivariant Message-Passing Neural Networks and Probabilistic Diffusion Models for Materials Science

Formal models for explainable and robust AI

Optimization of passenger flows and resource management through machine learning and constraint programming techniques

Lightweight approaches for a Smart home solution for the elderly

Knowledge Compilation for explainable and robust AI

Optimal and sub-optimal solutions explanation in Boolean setting

Weighted Belief Base Merging

Contribution to solving NP^PP problems

Contributions to Constraint-based Approaches for Data Mining

Predictive models & reasoning with explanations

On Merging of Open-Domain Ontologies

Hard Functions in Knowledge Compilation: from Lower Bounds to Applications

Defeasible Temporal Logic for the specification and verification of exception-tolerant systems

Logical modeling of intentionality in epistemic games

Sur la notion de support monotone en argumentation abstraite

Autonomous Constraint Solvers

Constraint-based Pattern Extraction

Pseudo-Boolean Reasoning and Compilation

From graph theory to propositional satisfiability: a new approach for the characterization of tractable classes

Hybridization of clauses learning techniques in constraint programming

Résolution de csp qualitatifs pour le temps par des techniques de recherche locale, application à la planification hospitalière

Enumération des motifs intéressants dans les bases de données incertaines

Optimisation des soins d'urgence sous incertitudes a l'aide de formalismes qualitatifs spatio-temporels.

Informatique ubiquitaire : techniques de curage d’informations perverties

Fouilles de graphes et application aux réseaux sociaux

Practical resolution of the coherence of formulas in modal logic

Constraints-based Data Mining

Reasoning from ontologies

Argumentation reasoning tools for online debate platform

Parallel SAT solving

Interval-based possibility theory: Conditioning and probability/possibility transformations

Qualitative DL-Lite logics

Graphes et contraintes

Contributions algorithmiques au raisonnement spatial et temporel qualitatif basé sur des contraintes

Knowledge compilation for model counting

Changement de croyances et logiques modales

A Stochastic Constraint-Based Approach to General Game Playing

Extensions of Tractable Classes for Propositional Satisfiability

Parallélisation de systèmes de contraintes complexes

Dynamique des Systèmes d’Argumentation

On the qualitative decision in a possibility theory framework

Compilation de préférences - application à la configuration de produits

An alert correlation approach based on IFO-QCL and on the handling of partial information in possibility theory

Multi-Objective Boolean Optimization: complexity with compiled constraints and SAT-based resolution

Inconsistency and uncertainty handling in lightweight description logics

Parallélisation de solveurs de contraintes

Intégration de techniques CSP pour la résolution du problème WCSP

Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications

La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées

Contributions aux approches logiques de l'argumentation en intelligence artificielle

Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle

Analyse et regroupement automatique de textes courts à des fins statistiques

Développement de logiques non-classiques pour la gestion des préférences et de l'incertitude

Gestion de l'incertitude et codage des politiques de sécurités dans les systèmes de contrôle d'accès

Possibilistic networks : from learning to compilation and propagation

Causal reasoning modeling under a belief function framework

Extraction de motifs de données complexes : cas de la classification des protéines

Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes

Méthodes Permettant la Prédominance de Connaissances Subsumées

Modèles graphiques possibilistes pour la corrélation d'alertes en détection d'intrusions

Réseaux de neurones et treillis de galois

Extraction, représentation ontologique et classification des connaissances à partir des données sur le web

Fusion de réseaux de contraintes qualitatives

Étude de systèmes de contraintes contraintes hétérogènes pour la gestion du temps

Classifieurs possibilistes basés sur les arbres de décision et les systèmes immunitaires artificiels

Raisonnement dans l'incertain à partir de bases de croyances symboliquement pondérées et logique de description pour la corrélation d'alerte

Un Modèle pour la Prise de Décision Multi-agent sous Incertitude

Fouilles de représentations concises des motifs fréquents à travers les espaces de recherche conjonctif et disjonctif

Fusion de réseaux causaux possibilistes

Étude du raisonnement temporel basé sur la résolution de contraintes

Intégration des ressources en planification temporelle optimale

De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées

Raisonnement en présence de préférences et d'incertitude : Application à la détection d'intrusions et corrélation d'alertes

Modèles graphiques et approches comportementales pour la détection d'intrusions

Fusion d'informations incertaines sans commensurabilité des échelles de référence

Réseaux possibilistes hybrides : Représentation des interventions et algorithmes

Contributions à la résolution générique des problèmes de satisfaction de contraintes

Utilisation de techniques polynomiales pour la résolution pratique

Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes

Techniques algorithmiques pour l'extraction de formules minimales inconsistantes

Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive

Contribution à l'étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung

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

De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d’un prouveur QBF

Contribution à l'étude de relations d'inférence paraconsistante sous ressources limitées

Algorithmique des Treillis de Concepts : Application à la Fouille de Données

Utilisation et extensions de l’algorithmique pour SAT pour la résolution de différents problèmes d’intelligence artificielle

Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT

Gestion des Incohérences dans les Systèmes de Contrôle d’Accès

Contributions aux techniques de fusion de connaissances en intelligence artificielle

Study of abstraction mechanisms and hierarchies construction

Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du formalisme

Contributions aux techniques de révision de croyances en intelligence artificielle : aspects sémantiques et calculatoires

De la Satisfaisabilité à la Compilation de Bases de Connaissances Propositionnelles