Zurück zur Hauptseite von "Praxis der Forschung"

Praxis der Forschung

Formal Property-Oriented Design of Voting Rules Using Composable Modules

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Karsten Diekhoff, Michael Kirsten und Jonas Krämer
In:6th International Conference on Algorithmic Decision Theory (ADT 2019)
Verleger:Springer
Reihe:Lecture Notes in Artificial Intelligence
Band:11834
Jahr:2019
DOI:10.1007/978-3-030-31489-7

BibTeX

@inproceedings{DKK19,
    author    = {Karsten Diekhoff and
                 Michael Kirsten and
                 Jonas Kr{\"{a}}mer},
    editor    = {{Kristen Brent} Venable and
                 Sasa Pekec},
    title     = {Formal Property-Oriented Design of
                 Voting Rules Using Composable Modules},
    booktitle = {6th International Conference on Algorithmic
                 Decision Theory ({ADT} 2019)},
    place     = {Durham, NC, USA},
    date      = {October 25-27},
    publisher = {Springer},
    series    = {Lecture Notes in Artificial Intelligence},
    month     = oct,
    year      = {2019},
    volume    = {11834},
    doi       = {10.1007/978-3-030-31489-7}
}