Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Laurent
Garcia
IdRef
Mots clés
FR
|
EN
Answer Set Programming (informatique)
Règles existentielles
Interrogation
Ontologies (informatique)
Décidabilité (logique mathématique)
Inconsistance (logique)
Langages d'interrogation
Approche guidée par les règles
Justifications
Backjumping
Logique du premier ordre
Solveurs (logiciels)
Liste des thèses par rôle
Examinateur / Examinatrice pour 2 thèse(s)