ARN  Algorithmes  Analyse automatique  Analyse des données  Analyse des données symboliques  Analyse syntaxique  Analyseurs morpho-syntaxiques  Apprentissage  Apprentissage automatique  Apprentissage basé sur l'explication  Apprentissage des concepts  Articulation de mécanismes inférentiels  Besexp  Biologie -- Informatique  Caricature  Catégories syntaxiques  Causalité  Chaînage-avant  Classement documentaire  Cognition  Commande automatique  Fiabilité  Filtrage  Intelligence artificielle  Langage naturel  Langages de programmation -- Sémantique  Langues  Linguistique -- Informatique  Raisonnement  Recherche documentaire automatisée  Représentation des connaissances  Règles de production  Systèmes experts  Systèmes homme-machine  Sémantique  Traitement automatique du langage naturel  

Daniel Kayser a dirigé les 49 thèses suivantes :

Un système de générations de descriptions argumentées

par Sara Boutouhami sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 2010

Analyse discursive automatique de texte : application à la modélisation des connaissances

par Amanda Bouffier sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 2008

Extraction et utilisation des normes pour un raisonnement causal dans un corps textuel

par farid Nouioua sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 2007

Recherche de motifs relationnels dans des séquences : application aux séquences biologiques

par Nahla El Zant El Kadhi sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 2005

Construction semi-automatique d'index de fin de livre

par Touria Ait El Mekki sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 2004

Articuler les classifications sémantiques induites d'un domaine

par Helka Folch sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 2002

Extraction d'information à base de connaissances hybrides

par Thierry Poibeau sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 2002

De la modelisation a la representation : md o s un exemple de langage de modelisation multi-formalismes

par Jérôme Nobécourt sous la direction de Daniel Kayser - Paris 13

Sciences et techniques

Soutenue en 1999

Detection d'anomalies semantiques dans les textes de specifications - application au probleme des interactions de services de telecommunications

par Thierry Charnois sous la direction de Daniel Kayser - Paris 13

Sciences et techniques

Soutenue en 1999

Apprentissage et filtrage syntaxico-sémantique de syntagmes nominaux pertinents pour la recherche documentaire

par Naulleau, Elie sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1998

Réseaux de neurones artificiels et connaissances symboliques : insertion, raffinement et extraction

par Nedjari, Tayeb sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1998

Traitement automatique des polysémies relationnelles : utilisation et contrôle de règles d'extension de sens

par Pernelle, Nathalie sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1998

Apprentissage incrémental à partir d'exemples dans un espace de recherche réduit

par M'hammed Henniche sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1998

C-classic## : Une logique de descriptions pour la définition et l'apprentissage de concepts avec défauts et exceptions

par Ventos, Véronique sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1997

Analyse syntaxique et apprentissage des langues

par Fabrice Issac sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1997

Satisfaction de contraintes et validation des grammaires du langage naturel

par Azeddine Belabbas sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1996

Etude cognitive et informatique de la résolution d'un problème : analyse, modélisation et implantation

par Nathalie Chaignaud sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1996

Apprentissage à partir d'exemples ambigus : étude théorique et application à la découverte de structures communes à un ensemble de séquences d'ARN

par Dominique Bouthinon sous la direction de Daniel Kayser - Paris 13

Biologie moléculaire et cellulaire

Soutenue en 1996

La communication orale coopérative : contribution à la modélisation logique et à la mise en oeuvre d'un agent rationnel dialoguant

par Philippe Bretier sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1995

Vérifications, détections et corrections syntaxico-sémantiques dans le traitement automatique des langues à partir du formalisme des grammaires syntagmatiques généralisées

par Bernard Baldy sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1995

Apport des logiques non-classiques pour une représentation de la causalité

par Aïcha Mokhtari sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1994

Compréhension du langage naturel : le problème de la causalité

par Adeline Nazarenko sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1994

Etude de l'héritage des propriétés dans les réseaux sémantiques : Notion de réseau d'héritage légal

par Nacéra Madani sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1994

Un système d'acquisition de définitions basé sur le modèle des graphes conceptuels

par Patrice Hernert sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1993

Apprentissage par détection de similarités utilisant le formalisme des graphes conceptuels

par Marc Champesme sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1993

Le problème du sens dans les sytèmes de traitement du langage naturel : Une approche alternative au travers de la paraphrase

par Bernard Levrat sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1993

Modèle de l'utilisateur, modèle de la tache et modèles d'explications pour expliquer dans le contexte des taches de conception : : application en conception d'équipements électroniques

par Isabelle Thomas sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1993

Comment le temps change-t-il les hypothèses ?

par Catherine Joubel sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1993

ObAdE : Des objets pour une modélisation cognitive

par Nelly Bensimon Darcel sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1993

Calcul des extensions dans les théories de défauts en réseau : Application au raisonnement à profondeur variable

par Eric Bonté sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1992

Mise en œuvre de prédictions linguistiques dans un système de dialogue oral Homme-machine coopératif

par François Andry sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1992

Intégration de récit : Application à la compréhension de textes médicaux

par Laurent Doré sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1992

Traitement automatique de la coordination par et

par Augusta Mela sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1992

Sémantique du langage naturel et profondeur variable : Une première approche

par Françoise Gayral sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1992

Représentation des connaissances et profondeur variable : une implantation

par Philippe Grandemange sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1992

Conception d'un ensemble d'outils pour la représentation, l'analyse et l'exploitation des connaissances en sûreté de fonctionnement : L'atelier Figaro

par Henri Bouhadana sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1992

Techniques d'apprentissage par explication et détections de similarités

par Pierre Brezellec sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1992

Enrichissement d'une base de connaissances à partir de textes en langage naturel

par Sylvie Szulman sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1990

Compréhension de textes dans un domaine technique : le système Actes ; application des grammaires d'unification et de la théorie du discours

par Thierry Chanier sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1989

Contribution à la réalisation d'un raisonneur à profondeur variable : le système de maintenance

par François Lévy sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1989

Etude d'un réseau sémantique avec gestion des exceptions

par Pascal Coupey sous la direction de Daniel Kayser - Paris 13

Sciences appliquées

Soutenue en 1989

Systèmes d'analyse tolérante du langage naturel

par Christophe Fouqueré sous la direction de Daniel Kayser - Paris 13

Informatique

Soutenue en 1988

Simulation du raisonnement par systèmes de production

par Daniel Memmi sous la direction de Daniel Kayser - Paris 11

Informatique

Soutenue en 1987

Informations incomplètes et contraintes d'intégrité : le moteur d'inférences sherlock

par Marie-Odile Cordier sous la direction de Daniel Kayser - Paris 11

Informatique

Soutenue en 1986

Système de raisonnement en langage naturel guidé par un raisonnement caricatural

par Martine Karoubi sous la direction de Daniel Kayser - Paris 11

Informatique

Soutenue en 1986

Le raisonnement caricatural : un guide pour le raisonnement dans un système question-réponse en langage naturel

par Lydia Nicaud sous la direction de Daniel Kayser - Paris 11

Informatique

Soutenue en 1986

DIALECT, un système expert pour la recherche documentaire

par Jean-Claude Bassano sous la direction de Daniel Kayser - Paris 11

Informatique

Soutenue en 1986

Une expérience sur le raisonnement en langage naturel : une étude de l'effet de contraintes syntaxico-sémantiques sur un mécanisme bi-directionnel basé sur des règles de production contextuelles

par Pascal Fosse sous la direction de Daniel Kayser - Paris 11

Informatique

Soutenue en 1985

Utilisation de techniques relevant de l'intelligence artificielle pour le traitement de données biographiques complexes

par Gian Piero Zarri sous la direction de Daniel Kayser - Paris 11

Sciences informatiques

Soutenue en 1985

Daniel Kayser a été président de jury de la thèse suivante :

Inde : un système de détection d'inconsistances et d'incomplétudes dans les bases de connaissances

par Eric Pipard sous la direction de Guy Vidal-Naquet - Paris 11

Informatique

Soutenue en 1987

Daniel Kayser a été rapporteur des 3 thèses suivantes :

Aplusix : un système expert de résolution pédagogique d'exercices d'algèbre

par Jean-François Nicaud sous la direction de Marie-Odile Cordier - Paris 11

Informatique

Soutenue en 1987

Le problème des explications négatives dans les systèmes experts : le système pourquoi-pas ?

par Brigitte Safar sous la direction de Marie-Odile Cordier - Paris 11

Informatique

Soutenue en 1987

Serebral, un système expert pour l'aide à l'interrogation d'une base de données

par Annie Reyssier-Danzart sous la direction de Alain Bonnet - Paris 11

Informatique

Soutenue en 1985

Daniel Kayser a été membre de jury des 2 thèses suivantes :

Contribution à l'étude de modèles d'apprentissage en interaction avec un environnement inspirés du comportement humain

par Alain Grumbach sous la direction de Yves Kodratoff - Paris 11

Informatique

Soutenue en 1987

Détermination, guidée par les connaissances, d'une loi de pilotage pour un lanceur spatial : analyse de ces connaissances et construction d'un système expert

par Yves Misiti sous la direction de Georges Oppenheim - Paris 11

Technologie (Sciences appliquées)

Soutenue en 1986