Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université de Lorraine (4)
  • Toulouse 3 (3)
  • Aix-Marseille (1)
  • Artois (1)
  • Paris Saclay (1)
  • Toulouse 2 (1)
  • Universiteit van Amsterdam (1)
  • Université Pierre Mendès France (Grenoble) (1)
  • Université de Genève (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (7)
  • Intelligence artificielle (2)
  • Philosophie (1)
  • Sciences appliquées (1)
  • Sciences de l'education (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (7)
  • anglais (6)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Ditmarsch Hans van (2)
  • Fariñas del Cerro Luis (2)
  • Galmiche Didier (2)
  • Herzig Andreas (2)
  • Amade-Escot Chantal (1)
  • Dorier Jean-Luc (1)
  • Hansen Helle Hvid (1)
  • Konieczny Sébastien (1)
  • Larchey-Wendling Dominique (1)
  • Leutenegger Francia (1)
  • Lorini Emiliano (1)
  • Marquis Pierre (1)
  • Palamidessi Catuscia (1)
  • Palmigiano Alessandra (1)
  • Pearce David J. (1)
  • Santocanale Luigi (1)
  • Smets Sonja (1)
  • Valencia Frank (1)
  • Vernant Denis (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (8)
  • Informatique, information, généralités (1)
  • Philosophie, psychologie (1)
  • Education et enseignement (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

12 thèses pour "Logiques epistemiques"

...de la thèse concerne les logiques épistémiques ba-sées sur la visibilité, c’est-à-dire les logiques...

Accéder en ligne
Informatique

Soutenue le 01-12-2014
thèse soutenue

...[Lem57] où il propose plusieurs systèmes d’axiomes pourles logiques épistémiques et déontiques. Ces...

Accéder en ligne

...épistémiques. Pour rappel, les logiques épistémiques sont une famille delogiques traitant de la connaissance...

Accéder en ligne
Sciences appliquées

Soutenue en 1989
thèse soutenue

..., avec les logiques épistémiques dynamiques.Logiques épistémiques dynamiques (DEL) [49, 11] sont une...

Accéder en ligne
Informatique

Soutenue le 13-12-2016
thèse soutenue

...autresagents sont les logiques épistémiques. La sémantique typique pour le cadre épistémique (en fait...

Accéder en ligne

...’une compréhension fine par les enseignants des logiques épistémiques des ressources didactiques qu’ils utilisent...

Accéder en ligne

...’introduction dela séparation au sein des logiques épistémiques et surtout d’avoir permis la compréhension, entermes...

Accéder en ligne

Résultats 1 à 10