Lagasquié-Schiex, Marie-Christine, 19..-...., enseignante-chercheuse en informatique
Lagasquie-Schiex, Marie-Christine
VIAF ID: 188633178 ( Personal )
Permalink: http://viaf.org/viaf/188633178
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation | |
Algorithmique des systèmes d’argumentation abstraits enrichis, en vue du passage à l’échelle. | |
Algorithms for enriched abstract argumentation frameworks for large-scale cases | |
Argumentation frameworks for constructing and evaluating deductive mathematical proofs. | |
Belief change within fragments of propositional logic. | |
Changement de croyances dans des fragments de la logique propositionnelle | |
Contribution à l'étude des relations d'inférence non-monotone combinant inférence classique et préférences | |
Dealing with Similarity in Argumentation | |
Étude du changement en argumentation : de la théorie à la pratique | |
Modélisation des interactions entre agents rationnels : les jeux booléens | |
Study of change in abstract argumentation : from theory to practice. | |
Vers une acceptabilité graduelle des arguments dans les systèmes d'argumentation = Gradual acceptability in argumentation systems |