Marie-Christine Lagasquié-Schiex
IdRefMots clés
FR |
EN
Argumentation
Argumentation abstraite
Intelligence artificielle
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
Représentation des croyances en intelligence artificielle
Révision des croyances
Mise-À-Jour
Contraction
Fragments propositionnels
Horn
Krom
Complexité algorithmique