A logic of argumentation for specification and verification of abstract argumentation frameworks

Type de document :
Article dans une revue
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2012, 66 (1-4), pp.199-230


https://hal.inria.fr/hal-01076597
Contributeur : Serena Villata <>
Soumis le : mercredi 22 octobre 2014 - 16:12:36
Dernière modification le : mercredi 29 juillet 2015 - 01:19:45

Identifiants

  • HAL Id : hal-01076597, version 1

Collections

Citation

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert Van Der Torre, Joris Hulstjin. A logic of argumentation for specification and verification of abstract argumentation frameworks. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2012, 66 (1-4), pp.199-230. <hal-01076597>

Partager

Métriques

Consultations de la notice

114