Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Argumentation Frameworks as Constraint Satisfaction Problems

Abstract :

This paper studies how to encode the problem of computing the extensions of an argumentation framework (under a given semantics) as a constraint satisfaction problem (CSP). Such encoding is of great importance since it makes it possible to use the very efficient solvers (developed by the CSP community) for computing the extensions. We focus on three families of frameworks: Dung’s abstract framework, its constrained version and preference-based argumentation frameworks.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03255390
Contributeur : Okina Université d'Angers <>
Soumis le : mercredi 9 juin 2021 - 15:04:22
Dernière modification le : jeudi 10 juin 2021 - 03:39:57

Lien texte intégral

Identifiants

Collections

Citation

Leila Amgoud, Caroline Devred. Argumentation Frameworks as Constraint Satisfaction Problems. 5th International Conference on Scalable Uncertainty Management, SUM 2011, 2011, Dayton, United States. pp.110 - 122, ⟨10.1007/978-3-642-23963-2_10⟩. ⟨hal-03255390⟩

Partager

Métriques

Consultations de la notice

11