User: Guest  Login
Original title:
Generating Insights in Social Choice Theory via Computer-aided Methods
Translated title:
Erkenntnisgewinn in der Sozialwahltheorie durch computerunterstützte Methoden
Author:
Geist, Christian
Year:
2016
Document type:
Dissertation
Institution:
Fakultät für Informatik
Advisor:
Brandt, Felix (Prof. Dr.)
Referee:
Brandt, Felix (Prof. Dr.); Nipkow, Tobias (Prof., Ph.D.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
TUM classification:
MAT 920d; WIR 523d
Abstract:
The rise of computational social choice indicates that a computer-science perspective can contribute to our understanding of collective decision making. In this thesis, we show how substantial insights can be achieved via computer-aided methods that are based on powerful solving techniques, such as SAT and SMT (satisfiability modulo theories). Our contribution is twofold: first and foremost, we provide such methods for the domain of social choice theory, and, second, use these methods to obtain...    »
Translated abstract:
Der Aufstieg des Forschungsgebiets "Computational Social Choice" deutet an, dass eine informatische Perspektive einen wesentlichen Beitrag zum Verständnis kollektiver Entscheidungsfindung leisten kann. In dieser Dissertation zeigen wir auf, wie wesentliche Erkenntnisse mithilfe computerunterstützter Methoden, die wiederum auf mächtigen Lösungsverfahren wie SAT und SMT ("Satisfiability Modulo Theories") basieren, generiert werden können. Unser Beitrag umfasst sowohl die Entwicklung solcher Method...    »
WWW:
https://mediatum.ub.tum.de/?id=1296898
Date of submission:
07.04.2016
Oral examination:
06.09.2016
File size:
4981329 bytes
Pages:
178
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20160906-1296898-1-8
Last change:
23.09.2016
 BibTeX