Logics of social choice and perspectives on their software implementation ( accompanying notes for the Schloss Dagstuhl

@inproceedings{Troquard2011LogicsOS,
  title={Logics of social choice and perspectives on their software implementation ( accompanying notes for the Schloss Dagstuhl},
  author={Nicolas Troquard},
  year={2011}
}
These are the accompanying notes to my presentation at the Schloss Dagstuhl Seminar 11101. In this talk, I will present a logic to reason about voting procedures, proposed in a common work with W. van der Hoek and M. Wooldridge. I will discuss some perspectives on its software implementation and try to assess its practicality. I will also make a short demonstration of a prototype. 

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…