farid Nouioua
Mots clés
FR |
EN
Traitement automatique du langage naturel
Web sémantique
Logique DL-Lite
Degré d'inconsistance
Théorie des possibilités
Algorithme approximatif
Inconsistance (logique)
Possibilités, Théorie des
Algorithmes d'approximation
Ontologies (informatique)
Preuve mathématique déductive
Systèmes d'argumentation
Apprentissage collaboratif
Débat
Construction de preuves
Évaluation de preuves
Travail collaboratif
Informatique -- Mathématiques
Assistants de preuve
Préférences