Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Dijon (5)
  • Grenoble (5)
  • Clermont-Ferrand 2 (4)
  • Artois (3)
  • Lyon 1 (3)
  • Montpellier (3)
  • Mulhouse (3)
  • Nancy 1 (3)
  • Nice (3)
  • Paris 6 (3)
  • Bourgogne Franche-Comté (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Grenoble Alpes (2)
  • Montpellier 2 (2)
  • Paris 10 (2)
  • Paris 11 (2)
  • Paris, CNAM (2)
  • Aix-Marseille (1)
  • Aix-Marseille 2 (1)
  • Angers (1)
  • Avignon (1)
  • Besançon (1)
  • Compiègne (1)
  • Côte d'Azur (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Ecole nationale supérieure d'informatique (1)
  • Grenoble INPG (1)
  • La Rochelle (1)
  • La Réunion (1)
  • Lorient (1)
  • Lyon (1)
  • Lyon, INSA (1)
  • Normandie (1)
  • Paris 4 (1)
  • Paris 5 (1)
  • Paris 8 (1)
  • Paris Est (1)
  • Paris Saclay (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENSAM (1)
  • Pau (1)
  • Rennes 1 (1)
  • Rennes 2 (1)
  • Sorbonne Paris Cité (1)
  • Strasbourg (1)
  • Strasbourg 1 (1)
  • Toulouse 3 (1)
  • Tours (1)
  • Universität des Saarlandes (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université Louis Pasteur (Strasbourg) (1)
  • Université de Mons (1)
  • Université de Saint-Louis (Sénégal) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université des sciences et de la technologie Houari Boumediene (Alger) (1)
  • Valenciennes (1)
  • École Nationale des Sciences de l'Informatique (Tunis) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (51)
  • Informatique et applications (4)
  • Sciences de l'information et de la communication (3)
  • Sciences du langage : traitement automatique des langues (2)
  • Sciences et techniques (2)
  • Biologie et sciences de la santé (1)
  • Composition musicale (1)
  • Conception (1)
  • Ethnologie (1)
  • Génie informatique (1)
  • Informatique médicale (1)
  • Informatique. Systèmes et logiciels (1)
  • Intelligence artificielle (1)
  • Mathématiques (1)
  • Mathématiques et informatique (1)
  • Mathématiques et informatique. Informatique (1)
  • Mathématiques, informatique, automatique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Sciences appliquées specialite informatique (1)
  • Sciences de l'ingénieur (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et g?nie des activit?s ? risques (1)
  • Sciences pour l'Ingénieur (1)
  • Stic (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (7)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (6)
  • École doctorale Informatique, télécommunications et électronique (Paris) (4)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • ED Sciences pour l'ingénieur (n°72) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • I2S - Information, Structures, Systèmes (2)
  • IAEM Lorraine (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • SMI - Sciences des M?tiers de l'Ing?nieur (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale Jean-Henri Lambert (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences humaines et sociales (Rennes) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (72)
  • anglais (12)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Benferhat Salem (3)
  • Keith Bernard (3)
  • Nicolle Christophe (3)
  • Schneider Michel (3)
  • Bellatreche Ladjel (2)
  • Boitet Christian (2)
  • Le Thanh Nhan (2)
  • Mougenot Isabelle (2)
  • Métais Elisabeth (2)
  • Rousselot François (2)
  • Shariat Ghodous Parisa (2)
  • Abed Mourad (1)
  • Aimé Xavier (1)
  • Andrieu Jacquet Armelle (1)
  • Bellynck Valérie (1)
  • Ben Ahmed Mohamed (1)
  • Bennani Younès (1)
  • Benslimane Djamal (1)
  • Berio Giuseppe (1)
  • Bertaux Aurélie (1)
  • Berti-Equille Laure (1)
  • Bonneau Georges-Pierre (1)
  • Bosson Jean-Luc (1)
  • Boucelma Omar (1)
  • Boudjlida Nacer (1)
  • Bouhlel Mohamed Salim (1)
  • Bouju Alain (1)
  • Boukhobza Jalil (1)
  • Cavarero Jean-Louis (1)
  • Cerri Stefano Alessandro (1)
  • Chalmel Frédéric (1)
  • Collet Christine (1)
  • Colloc Joël (1)
  • Cruz Christophe (1)
  • Curé Olivier (1)
  • Darmoni Stéfan Jacques (1)
  • De luca Livio (1)
  • Demoly Frédéric (1)
  • Desclès Jean-Pierre (1)
  • Devignes Marie-Dominique (1)
  • Dieng-Kuntz Rose (1)
  • Drap Pierre (1)
  • Drias Habiba (1)
  • Dubois Catherine (1)
  • Echahed Rachid (1)
  • El Hiki Lahcen (1)
  • Ellouze Nebrasse (1)
  • Euzenat Jérôme (1)
  • Fanlo Jean-Louis (1)
  • Fortemps Philippe (1)
  • Ganascia Jean-Gabriel (1)
  • Gandon Fabien (1)
  • Gesquière Gilles (1)
  • Giacometti Arnaud (1)
  • Giavitto Jean-Louis (1)
  • Goasdoué François (1)
  • Goedefroit Sophie (1)
  • Gomes Samuel (1)
  • Grau Brigitte (1)
  • Haemmerlé Ollivier (1)
  • Halin Gilles (1)
  • Hassenforder Michel (1)
  • Hernandez Nathalie (1)
  • Jaulent Marie-Christine (1)
  • Khouri Selma (1)
  • Kouloumdjian Jacques (1)
  • Laforest Frédérique (1)
  • Lamolle Myriam (1)
  • Lapayre Jean-Christophe (1)
  • Laurini Robert (1)
  • Layaida Nabil (1)
  • Le Duc Chan (1)
  • Le Moënne Christian (1)
  • Leclère Michel (1)
  • Lenne Dominique (1)
  • Libourel Thérèse (1)
  • Lô Moussa (1)
  • Markhoff Béatrice (1)
  • Martin Philippe (1)
  • Mendès Florence (1)
  • Minel Jean-Luc (1)
  • Miranda Serge (1)
  • Mokhtari Aïcha (1)
  • Monticolo Davy (1)
  • Montmain Jacky (1)
  • Moreau-Gaudry Alexandre (1)
  • Mugnier Marie-Laure (1)
  • Napoli Aldo (1)
  • Nazarenko Adeline (1)
  • Papini Odile (1)
  • Perronne Jean-Marc (1)
  • Pierrel Jean-Marie (1)
  • Poli Marie-Sylvie (1)
  • Pradelle Dominique (1)
  • Puentes John (1)
  • Rampacek Sylvain (1)
  • Ray Cyril (1)
  • Rolland Antoine (1)
  • Roose Philippe (1)
  • Rousset Marie-Christine (1)
  • Roxin Ioan (1)
  • Sam Yacine (1)
  • SanJuan Eric (1)
  • Simonet Ana (1)
  • Simonet Michel (1)
  • Soualmia Lina Fatima (1)
  • Stephan Igor (1)
  • Sérasset Gilles (1)
  • Tajariol Federico (1)
  • Toumani Farouk (1)
  • Vacher Michel (1)
  • Vargas-Solar Genoveva (1)
  • Véron Philippe (1)
  • Yétongnon Kokou (1)
  • Zargayouna Haïfa (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (65)
  • Sciences de l'ingénieur (11)
  • Informatique, information, généralités (4)
  • Médecine et santé (4)
  • Sciences sociales, sociologie, anthropologie (2)
  • Linguistique générale (2)
  • Sciences de la nature et mathématiques (2)
  • Mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Organisations générales et muséologie (1)
  • Physique (1)
  • Architecture (1)

Domaines :

Fullscreen

...importantes familles des logiques de description légères. La première partie de la thèse porte surla gestion...

Accéder en ligne
Électronique, électrotechnique, automatique

Soutenue en 1999
thèse soutenue
Informatique

Soutenue le 04-07-2017
thèse soutenue

...Tout concept peut eˆtre transforme´ en un concept e´quivalent dans NNF1.1. LOGIQUES DE DESCRIPTION...

Accéder en ligne
Sciences et techniques

Soutenue en 2001
thèse soutenue

...des connaissances d un domaine avec les logiques de Description (LD)se réalise en deux niveaux. Le...

Accéder en ligne

....Les logiques de description [Baader et al. 2003] sont une famille de fragments de lalogique du premier ordre...

Accéder en ligne

...3 Introduction aux logiques de descriptionLes logiques de description sont une famille de...

Accéder en ligne

...description afin de raisonner sur desquantités importantes de données. En effet, les logiques de description...

Accéder en ligne

Résultats 1 à 10