@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)},
venue = {Durham, {NC}, {USA}},
eventdate = {2019-10-25/2019-10-27},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
month = oct,
year = {2019},
volume = {11834},
doi = {10.1007/978-3-030-31489-7}
}
Zurück zur Hauptseite von "Praxis der Forschung"
Praxis der Forschung
Formal Property-Oriented Design of Voting Rules Using Composable Modules
| 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 |