Le moteur de recherche
des thèses françaises
Marie-Christine Lagasquié-Schiex
IdRefMots clés
FR |
EN
Argumentation abstraite
Argumentation
Représentation des croyances en intelligence artificielle
Révision des croyances
Mise-À-Jour
Contraction
Fragments propositionnels
Horn
Krom
Complexité algorithmique
Calcul des propositions
Intelligence artificielle
Représentation des connaissances
Algorithmique
Cadres enrichis
Algorithmes
Acceptabilité (linguistique)
Preuve mathématique déductive
Systèmes d'argumentation
Apprentissage collaboratif