Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (9)
  • Rennes 1 (8)
  • Artois (4)
  • Ecole centrale de Nantes (4)
  • Lyon (4)
  • Grenoble Alpes (3)
  • Angers (2)
  • Ecole nationale des Mines d'Albi-Carmaux (2)
  • Normandie (2)
  • Toulouse 3 (2)
  • Aix-Marseille 2 (1)
  • Bordeaux (1)
  • Côte d'Azur (1)
  • Lyon, INSA (1)
  • Montpellier (1)
  • Montpellier 2 (1)
  • Nantes (1)
  • Paris 13 (1)
  • Paris Est (1)
  • Sorbonne Paris Cité (1)
  • Sorbonne université (1)
  • Toulouse 1 (1)
  • Toulouse, INSA (1)
  • Universidad de las Américas-Puebla (1)
  • University of Western Sydney (1)
  • Università degli studi La Sapienza (Rome) (1)
  • Università degli studi della Calabria (1)
  • Universität Postdam (Allemagne) (1)
  • Université du Luxembourg. Faculté des sciences, de la technologie et de la communication (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (38)
  • Informatique et applications (3)
  • Intelligence artificielle (2)
  • Bioinformatique (1)
  • Génie Industriel (1)
  • Génétique, génomique, bioinformatique (1)
  • Image, Information, Hypermédia (1)
  • Informatique et Génie Industriel (1)
  • Informatique. Génération automatique de texte (1)
  • Mathématiques, informatique, automatique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Nanoélectronique et nanotechnologie (1)
  • Recherche clinique. Innovation technologique. Santé publique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (5)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • Biologie-Santé (1)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • I2S - Information, Structures, Systèmes (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • MATHSTIC (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (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 Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (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, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (33)
  • français (21)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Siegel Anne (5)
  • Gaaloul Walid (3)
  • Roux Olivier (3)
  • Aldanondo Michel (2)
  • Bourdon Jérémie (2)
  • Eveillard Damien (2)
  • Herzig Andreas (2)
  • Konieczny Sébastien (2)
  • Maudet Nicolas (2)
  • Nicolas Jacques (2)
  • Stephan Igor (2)
  • Abdulrab Habib (1)
  • Arnaud-Arnould Mary (1)
  • Ben Amor Nahla (1)
  • Boissier Olivier (1)
  • Boizumault Patrice (1)
  • Borrione Dominique (1)
  • Calimeri Francesco (1)
  • Comet Jean-Paul (1)
  • Coste François (1)
  • Croitoru Madalina (1)
  • Curé Olivier (1)
  • Dameron Olivier (1)
  • Danlos Laurence (1)
  • Delaunay Franck (1)
  • Demongeot Jacques (1)
  • Drap Pierre (1)
  • Fariñas del Cerro Luis (1)
  • Ferreira Da Silva Catarina (1)
  • Froidevaux Christine (1)
  • Ganascia Jean-gabriel (1)
  • Goasdoué François (1)
  • Graiet Mohamed (1)
  • Gérard Sébastien (1)
  • Jessel Jean-Pierre (1)
  • Kaci Souhila (1)
  • Kayser Daniel (1)
  • Khalil Mohamad (1)
  • Koriche Frédéric (1)
  • Lagrue Sylvain (1)
  • Laurini Robert (1)
  • Le Berre Daniel (1)
  • Le Meur Nolwenn (1)
  • Lopes Manuel (1)
  • Mammar Amel (1)
  • Manolescu Goujot Ioana Gabriela (1)
  • Marchetti-Spaccamela Alberto (1)
  • Marquis Pierre (1)
  • Morin-Allory Katell (1)
  • Mousseau Vincent (1)
  • Papini Odile (1)
  • Pearce David J. (1)
  • Pitiot Paul (1)
  • Plantec Jean-Yves (1)
  • Prade Henri (1)
  • Sagot Marie-France (1)
  • Sappey-Marinier Dominique (1)
  • Schaub Torsten (1)
  • Schoenauer Marc (1)
  • Shariat Ghodous Parisa (1)
  • Sol Martínez David (1)
  • Terracina Giorgio (1)
  • Thomopoulos Rallou (1)
  • Tonon Thierry (1)
  • Torre Leendert van der (1)
  • Vacher Michel (1)
  • Vareilles Elise (1)
  • Voyer Robert (1)
  • Zhang Dongmo (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (43)
  • Sciences de l'ingénieur (5)
  • Sciences de la vie, biologie, biochimie (4)
  • Médecine et santé (2)
  • Informatique, information, généralités (1)
  • Education et enseignement (1)
  • Gestion et organisation de l'entreprise (1)
  • Bâtiments (1)

Domaines :

Fullscreen

53 thèses pour "Answer Set Programming"

Modèles, méthodes et algorithmes en biologie, santé et environnement

Soutenue le 29-09-2015
thèse soutenue

..., utilisant le paradigme logique ASP(Answer Set Programming). Ce paradigme, basé sur une logique non monotone...

Accéder en ligne

...developing original and scalable logical methods(implemented in Answer Set Programming) to deciphering...

Accéder en ligne

...raisons d’échecs.AbstractAnswer set programming (ASP) is a formalismable to represent knowledge in...

Accéder en ligne

...on the response of logical signalingnetworks with Answer Set Programming. Luis Farin˜as del Cerro and...

Accéder en ligne

...Programming, Re`gles existentielles,Interrogation, De´cidabilite´, Inconsistance.Key WordsAnswer Set...

Accéder en ligne

Models of Ethical Reasoning

par Fiona Berreby sous la direction de Jean-gabriel Ganascia et de Robert Voyer. - Sorbonne université

Informatique

Soutenue le 06-12-2018
 thèse en cours de préparation

....We used Answer Set Programming (or ASP) to solvethis combinatorial problem. Changes to an existing method...

Accéder en ligne

..., Answer Set Programming for ProceduralContent Generation: A Design Space Approach , in: IEEE...

Accéder en ligne

...: PermReach (Reachability via Per-mutation search) and ASPReach (Reacha-bility via Answer Set Programming...

Accéder en ligne

Résultats 1 à 10