Marie-Christine Rousset

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Sur la cohérence et la validation des bases de connaissances : le système COVADIS

Directed Thesis:

Intégration de données liées respectueuse de la confidentialité
Uncertainty-Sensitive Reasoning over the Web of Data
Abstraction et comparaison de traces d'exécution pour l'analyse d'applications multimédias embarquées
Un algorithme de fouille de données générique et parallèle pour architecture multi-coeurs
Composition dynamique de fonctionnalités de dispositifs en réseaux dans le web semantique
Fiabilité des réponses fournies par un réseau logique pair-à-pair
Intégration sémantique de données guidée par une ontologie
Raisonnement pair-à-pair en logique propositionnelle : algorithmes, passage à l'échelle et applications
Recherche ciblée de documents sur le Web
XSEarch, un moteur de recherche pour XML combinant structure et contenu
Extraction d'arbres fréquents dans un corpus hétérogène de données semi-structurées : application à la fouille de document XML
Multirésolution pour le test de consistance et la déduction en logique propositionnelle
Reecriture de requetes en termes de vues dans carin et integration d'informations
Validation, diagnostic et réparation de bases de connaissances : le système KBDR
Astree : automatiser l'aide à la construction d'un modèle de résolution de problèmes
Representation et verification de connaissances de structuration a l'aide de systemes terminologiques
Lisa : un langage reflexif pour la modelisation du controle dans les systemes a base de connaissances. application a la planification des reseaux electriques
Filtrage flou et representation centree-objet pour raisonner par analogie : le systeme floran
Construction et transmission d'explications dans les systemes a base de connaissances
Planification et explication du raisonnement d'un resolveur complexe en algebre : application aux factorisations de polynomes et aux resolutions d'equations
Representation de points de vue pour le raisonnement hypothetique : application a l'aide a la decision
Carmen : plate-forme de construction de systemes experts seconde generation