Towards automatic argumentation about voting rules
Date
2018Link to item file
https://hal.archives-ouvertes.fr/hal-01830911Dewey
Recherche opérationnelleSujet
Social choice theory; bounded model checking; argumentation theory; automated reasoningConference name
4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle (APIA 2018)Conference date
07-2018Conference city
NancyConference country
FranceCollections
Metadata
Show full item recordAuthor
Kirsten, Michael
Cailloux, Olivier
989 Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]