Home  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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)
Reihe:Lecture Notes in Artificial Intelligence
Jahr:2019

Anmerkung

To appear.

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},
    series    = {Lecture Notes in Artificial Intelligence},
    month     = oct,
    year      = {2019},
    note      = {To appear.}
}