Formal Property-Oriented Design of Voting Rules Using Composable Modules

@inproceedings{DiekhoffKirstenKraemer2019,
    author    = {Karsten Diekhoff and
                 Michael Kirsten and
                 Jonas Kr{\"{a}}mer},
    editor    = {Sa{\v{s}}a Peke{\v{c}} and
                 {Kristen Brent} Venable},
    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},
    series    = {Lecture Notes in Artificial Intelligence},
    part      = {Short Papers},
    month     = oct,
    year      = {2019},
    abstract  = {Voting rules aggregate multiple individual preferences in order to
                 make a collective decision. Commonly, these mechanisms are expected
                 to respect a multitude of different notions of fairness and reliability,
                 which must be carefully balanced to avoid inconsistencies.

                 We present an approach for the sound and flexible design of voting rules
                 from composable modules. Formal composition rules guarantee social
                 choice properties from properties of the individual components. The
                 approach can be applied to many voting rules from the literature.},
    publisher = {Springer},
    volume    = {11834},
    pages     = {164--166},
    doi       = {10.1007/978-3-030-31489-7}
}