Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
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 Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 9 juin 2021 - 15:04:22
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

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

6