Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (6)
  • Université de Lorraine (2)
  • Lille 3 (1)
  • Palaiseau, Ecole polytechnique (1)
  • Rennes 1 (1)
  • Universiteit van Amsterdam (1)
  • Université de Otago, Nouvelle-Zélande (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Intelligence artificielle (2)
  • Informatique-Intelligence artificielle (1)
  • Philosophie (métaphysique, épistémologie, esthétique) (1)
  • Science. Informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • MATHSTIC (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (8)
  • français (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Herzig Andreas (4)
  • Ditmarsch Hans van (3)
  • Lorini Emiliano (2)
  • Balbiani Philippe (1)
  • Fariñas del Cerro Luis (1)
  • Hansen Helle Hvid (1)
  • Palamidessi Catuscia (1)
  • Pinchinat Sophie (1)
  • Rahman Shahid (1)
  • Smets Sonja (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (8)
  • Informatique, information, généralités (1)
  • Philosophie, psychologie (1)
  • Psychologie (1)

Domaines :

Fullscreen
Science. Informatique

Soutenue en 2008
thèse soutenue
Philosophie (métaphysique, épistémologie, esthétique)

Soutenue le 29-03-2013
thèse soutenue

...-complet.Mots-clés : logique épistémique dynamique, observation d’ordre su-périeur, problème du bavardage, planification...

Accéder en ligne

...Chapitre 4, nous introduisons une logique épistémique dynamique pour raisonnersur le changement d...

Accéder en ligne

Résultats 1 à 10