farid Nouioua
IdRefMots clés
FR |
EN
Traitement automatique du langage naturel
Web sémantique
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
Argumentation
Raisonnement
Cas de base
Apprentissage par renforcement (intelligence artificielle)
Raisonnement par cas
Préférences
Applications IA
Système de recommandation
Préférences Comparatives